Nuprl Definition : loc-ordered
loc-ordered(es;L) == l-ordered(E;x,y.(x <loc y);L)
Definitions occuring in Statement :
es-locl: (e <loc e'),
es-E: E,
l-ordered: l-ordered(T;x,y.R[x; y];L)
FDL editor aliases :
loc-ordered
loc-ordered
Latex:
loc-ordered(es;L) == l-ordered(E;x,y.(x <loc y);L)
Date html generated:
2016_05_16-AM-09_17_40
Last ObjectModification:
2013_03_25-PM-01_45_40
Theory : new!event-ordering
Home
Index