---

<>P ==  e.e':E. (e loc e'   (P e'))

---

Definitions :  lambda: x.A[x],  exists: x:A. B[x],  es-E: E,  and: P  Q,  es-le: e loc e' ,  apply: f a
FDL editor aliases :  es-diamond

---

<>P  ==    \mlambda{}e.\mexists{}e':E.  (e  \mleq{}loc  e'    \mwedge{}  (P  e'))


Date html generated: 2010_08_27-AM-09_29_41
Last ObjectModification: 2009_12_16-AM-01_05_11

Home Index