e is first@ i s.t. e.P[e] == (loc(e) = i) 
P[e] 
e'<e.
P[e']
Definitions :
equal: s = t,
Id: Id,
es-loc: loc(e),
and: P Q,
alle-lt: e<e'.P[e],
not: A
FDL editor aliases :
es-first-at
e is first@ i s.t. e.P[e] == (loc(e) = i) \mwedge{} P[e] \mwedge{} \mforall{}e'<e.\mneg{}P[e']
Date html generated:
2010_08_27-AM-09_29_59
Last ObjectModification:
2009_12_16-AM-01_05_56
Home
Index