eo.e == eo-restrict(eo;
e'.(e 
loc e' 
(
loc(e') = loc(e))))
Definitions occuring in Statement :
es-ble: e loc e',
es-loc: loc(e),
eo-restrict: eo-restrict(eo;P),
eq_id: a = b,
bor: p q,
bnot: b,
lambda: x.A[x]
Definitions :
eo-restrict: eo-restrict(eo;P),
lambda: x.A[x],
bor: p q,
es-ble: Error :es-ble,
bnot: b,
eq_id: a = b,
es-loc: loc(e)
FDL editor aliases :
eo-forward
eo.e == eo-restrict(eo;\mlambda{}e'.(e \mleq{}loc e' \mvee{}\msubb{}(\mneg{}\msubb{}loc(e') = loc(e))))
Date html generated:
2011_08_16-AM-11_21_32
Last ObjectModification:
2010_11_18-PM-06_02_33
Home
Index