e'
e.P[e'] == e':E. (e 
loc e' 
P[e'])
Definitions :
exists: x:A. B[x],
es-E: E,
and: P Q,
es-le: e loc e'
FDL editor aliases :
existse-ge
\mexists{}e'\mgeq{}e.P[e'] == \mexists{}e':E. (e \mleq{}loc e' \mwedge{} P[e'])
Date html generated:
2010_08_27-AM-01_07_17
Last ObjectModification:
2008_02_27-PM-10_03_04
Home
Index