(e <loc e') == (loc(e) = loc(e')) 
(e < e')
Definitions :
and: P Q,
equal: s = t,
Id: Id,
es-loc: loc(e),
es-causl: (e < e')
FDL editor aliases :
es-locl
(e <loc e') == (loc(e) = loc(e')) \mwedge{} (e < e')
Date html generated:
2010_08_27-AM-01_07_14
Last ObjectModification:
2008_02_27-PM-10_00_36
Home
Index