Nuprl Definition : es-le-before
≤loc(e) ==  before(e) @ [e]
Definitions occuring in Statement : 
es-before: before(e)
, 
append: as @ bs
, 
cons: [a / b]
, 
nil: []
FDL editor aliases : 
es-le-before
es-le-before
Latex:
\mleq{}loc(e)  ==    before(e)  @  [e]
Date html generated:
2016_05_16-AM-09_30_23
Last ObjectModification:
2013_03_25-PM-01_47_52
Theory : new!event-ordering
Home
Index