Nuprl Definition : es-locl
(e <loc e') == (loc(e) = loc(e') ∈ Id) ∧ (e < e')
Definitions occuring in Statement :
es-causl: (e < e'),
es-loc: loc(e),
Id: Id,
and: P ∧ Q,
equal: s = t ∈ T
FDL editor aliases :
es-locl
es-locl
(e <loc e') == (loc(e) = loc(e')) \mwedge{} (e < e')
Date html generated:
2015_07_17-AM-08_35_57
Last ObjectModification:
2013_03_25-PM-01_45_38
Home
Index