---

X-pred ==  e.if e  prior(X) then prior(X)(e) else e fi 

---

Definitions :  lambda: x.A[x],  ifthenelse: if b then t else f fi ,  in-eclass: e  X,  eclass-val: X(e),  es-prior-interface: prior(X)
FDL editor aliases :  es-interface-pred

---

X-pred  ==    \mlambda{}e.if  e  \mmember{}\msubb{}  prior(X)  then  prior(X)(e)  else  e  fi 


Date html generated: 2010_08_27-PM-02_42_49
Last ObjectModification: 2010_03_24-PM-05_59_57

Home Index