---

(X) ==  es,e.if e  X then {X(e)} else (X)' es e fi 

---

Definitions occuring in Statement :  es-prior-val: (X)',  eclass-val: X(e),  in-eclass: e  X,  ifthenelse: if b then t else f fi ,  apply: f a,  lambda: x.A[x],  single-bag: {x}
Definitions :  lambda: x.A[x],  ifthenelse: if b then t else f fi ,  in-eclass: e  X,  single-bag: {x},  eclass-val: X(e),  apply: f a,  es-prior-val: (X)'
FDL editor aliases :  es-latest-val

---

(X)\msupminus{}  ==    \mlambda{}es,e.if  e  \mmember{}\msubb{}  X  then  \{X(e)\}  else  (X)'  es  e  fi 


Date html generated: 2011_08_16-PM-05_07_38
Last ObjectModification: 2011_01_16-PM-04_20_06

Home Index