---

{I} ==  e.(e  I)

---

Definitions :  lambda: x.A[x],  assert: b,  in-eclass: e  X
FDL editor aliases :  es-interface-predicate

---

\{I\}  ==    \mlambda{}e.(\muparrow{}e  \mmember{}\msubb{}  I)


Date html generated: 2010_08_27-PM-02_05_29
Last ObjectModification: 2010_04_02-AM-01_12_57

Home Index