{ simple_consensus_init() 
simple-consensus-state() }
{ Proof }
Definitions occuring in Statement :
simple_consensus_init: simple_consensus_init(),
simple-consensus-state: simple-consensus-state(),
member: t T
Definitions :
false: False,
implies: P 
Q,
not: 
A,
le: A 
B,
nat: 
,
simple_consensus_init: simple_consensus_init(),
simple-consensus-state: simple-consensus-state(),
member: t T,
prop: 
,
all: 
x:A. B[x]
Lemmas :
le_wf
simple\_consensus\_init() \mmember{} simple-consensus-state()
Date html generated:
2010_08_27-PM-08_31_14
Last ObjectModification:
2010_06_23-PM-11_59_46
Home
Index