loc-ordered(es;L) == l-ordered(E;x,y.(x <loc y);L)
Definitions :
l-ordered: l-ordered(T;x,y.R[x; y];L),
es-E: E,
es-locl: (e <loc e')
FDL editor aliases :
loc-ordered
loc-ordered(es;L) == l-ordered(E;x,y.(x <loc y);L)
Date html generated:
2010_08_27-AM-01_07_17
Last ObjectModification:
2008_02_27-PM-10_05_22
Home
Index