(e, e') == filter(
ev.e <loc ev;before(e'))
Definitions :
filter: filter(P;l),
lambda: x.A[x],
es-before: before(e)
FDL editor aliases :
es-open-interval
(e, e') == filter(\mlambda{}ev.e <loc ev;before(e'))
Date html generated:
2010_08_27-AM-01_11_47
Last ObjectModification:
2009_12_16-AM-01_01_19
Home
Index