(X)(e) == eclass-events(es;X;loc(e))
Definitions :
eclass-events: eclass-events(es;X;L),
es-le-before: loc(e)
FDL editor aliases :
es-interface-predecessors
\mleq{}(X)(e) == eclass-events(es;X;\mleq{}loc(e))
Date html generated:
2010_08_27-PM-02_23_35
Last ObjectModification:
2010_01_26-PM-05_53_18
Home
Index