st-unifies-all(U;L) == (
p
L.let st1,st2 = p in st-unifies(U;st1;st2))_b
Definitions occuring in Statement :
st-unifies: st-unifies(U;st1;st2),
spread: spread def,
bl-all: (xL.P[x])_b
Definitions :
bl-all: (xL.P[x])_b,
spread: spread def,
st-unifies: st-unifies(U;st1;st2)
FDL editor aliases :
st-unifies-all
st-unifies-all(U;L) == (\mforall{}p\mmember{}L.let st1,st2 = p in st-unifies(U;st1;st2))\_b
Date html generated:
2011_08_17-PM-04_59_45
Last ObjectModification:
2011_02_07-PM-08_35_05
Home
Index