(X'?d) when Y ==
es,e.
if e 
Y then {<Y(e), if e (X)' then (X)'(e) else d fi >} else {} 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 ,
lambda: x.A[x],
pair: <a, b>,
single-bag: {x},
empty-bag: {}
Definitions :
lambda: x.A[x],
single-bag: {x},
pair: <a, b>,
ifthenelse: if b then t else f fi ,
in-eclass: e X,
eclass-val: X(e),
es-prior-val: (X)',
empty-bag: {}
FDL editor aliases :
es-prior-class-when
(X'?d) when Y == \mlambda{}es,e.if e \mmember{}\msubb{} Y then \{<Y(e), if e \mmember{}\msubb{} (X)' then (X)'(e) else d fi >\} else \{\} fi
Date html generated:
2011_08_16-PM-05_40_19
Last ObjectModification:
2011_01_16-PM-04_02_46
Home
Index