---

[]P ==  e.e':E. (e loc e'   (P e'))

---

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

---

[]P  ==    \mlambda{}e.\mforall{}e':E.  (e  \mleq{}loc  e'    {}\mRightarrow{}  (P  e'))


Date html generated: 2010_08_27-AM-09_29_38
Last ObjectModification: 2009_12_16-AM-01_05_05

Home Index