Nuprl Definition : pv8_p1_init_acceptor
pv8_p1_init_acceptor(Cid;Op) == <pv8_p1_dummy_ballot(), pv8_p1_init_accepted(Cid;Op)>
Definitions occuring in Statement :
pv8_p1_init_accepted: pv8_p1_init_accepted(Cid;Op),
pv8_p1_dummy_ballot: pv8_p1_dummy_ballot(),
pair: <a, b>
FDL editor aliases :
pv8_p1_init_acceptor
pv8_p1_init_acceptor
pv8\_p1\_init\_acceptor(Cid;Op) == <pv8\_p1\_dummy\_ballot(), pv8\_p1\_init\_accepted(Cid;Op)>
Date html generated:
2012_02_20-PM-07_22_54
Last ObjectModification:
2012_02_06-PM-01_42_28
Home
Index