Consistent(Decide) == 
e1,e2:E(Decide). (Decide(e1) = Decide(e2))
Definitions :
all: x:A. B[x],
es-E-interface: E(X),
equal: s = t,
eclass-val: X(e)
FDL editor aliases :
consensus-spec1
Consistent(Decide) == \mforall{}e1,e2:E(Decide). (Decide(e1) = Decide(e2))
Date html generated:
2010_08_28-AM-11_51_54
Last ObjectModification:
2010_04_16-AM-12_57_03
Home
Index