[e, e'] == filter(
ev.e 
loc ev;before(e') @ [e'])
Definitions :
filter: filter(P;l),
lambda: x.A[x],
es-ble: e loc e',
append: as @ bs,
es-before: before(e),
cons: [car / cdr],
nil: []
FDL editor aliases :
es-interval
[e, e'] == filter(\mlambda{}ev.e \mleq{}loc ev;before(e') @ [e'])
Date html generated:
2010_08_27-AM-01_11_45
Last ObjectModification:
2009_12_16-PM-03_11_13
Home
Index