e2 = first e 
e1.P[e] == e1 
loc e2 
P[e2] 
e
[e1,e2).
P[e]
Definitions :
es-le: e loc e' ,
and: P Q,
alle-between1: e[e1,e2).P[e],
not: A
FDL editor aliases :
es-first-since
e2 = first e \mgeq{} e1.P[e] == e1 \mleq{}loc e2 \mwedge{} P[e2] \mwedge{} \mforall{}e\mmember{}[e1,e2).\mneg{}P[e]
Date html generated:
2010_08_27-AM-09_32_38
Last ObjectModification:
2009_12_16-AM-01_12_03
Home
Index