es-interface-history(es;X;e) == concat(mapfilter(
e.X(e);e.e 
X;
loc(e)))
Definitions :
concat: concat(ll),
mapfilter: mapfilter(f;P;L),
eclass-val: X(e),
lambda: x.A[x],
in-eclass: e X,
es-le-before: loc(e)
FDL editor aliases :
es-interface-history
es-interface-history(es;X;e) == concat(mapfilter(\mlambda{}e.X(e);\mlambda{}e.e \mmember{}\msubb{} X;\mleq{}loc(e)))
Date html generated:
2010_08_27-PM-02_18_12
Last ObjectModification:
2010_01_26-PM-05_28_03
Home
Index