---

[e;e') ==  filter(ev.e loc ev;before(e'))

---

Definitions occuring in Statement :  es-before: before(e),  es-ble: e loc e',  lambda: x.A[x],  filter: filter(P;l)
Definitions :  filter: filter(P;l),  lambda: x.A[x],  es-ble: Error :es-ble,  es-before: before(e)
FDL editor aliases :  es-closed-open-interval

---

[e;e')  ==    filter(\mlambda{}ev.e  \mleq{}loc  ev;before(e'))


Date html generated: 2011_08_16-AM-10_39_03
Last ObjectModification: 2010_11_15-PM-10_30_51

Home Index