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
loc-ordered(es;L) == l-ordered(E;x,y.(x <loc y);L)
Date html generated:
2015_07_17-AM-08_36_03
Last ObjectModification:
2013_03_25-PM-01_45_40
Home
Index