Nuprl Lemma : init-acceptor-state_wf
init-acceptor-state() 
acceptor-state()
Proof not projected
Definitions occuring in Statement :
init-acceptor-state: init-acceptor-state(),
acceptor-state: acceptor-state(),
member: t T
Lemmas :
acceptor-state_wf,
Ballot_Num_wf,
it_wf,
Id_wf,
PVList_wf,
member_wf,
PValue_wf
init-acceptor-state() \mmember{} acceptor-state()
Date html generated:
2011_10_20-PM-11_55_58
Last ObjectModification:
2011_06_21-PM-06_39_30
Home
Index