Nuprl Definition : pv11_p1_init_acceptor
pv11_p1_init_acceptor(Cmd) == <pv11_p1_dummy_ballot(), pv11_p1_init_accepted(Cmd)>
Definitions occuring in Statement :
pv11_p1_init_accepted: pv11_p1_init_accepted(Cmd),
pv11_p1_dummy_ballot: pv11_p1_dummy_ballot(),
pair: <a, b>
FDL editor aliases :
pv11_p1_init_acceptor
Latex:
pv11\_p1\_init\_acceptor(Cmd) == <pv11\_p1\_dummy\_ballot(), pv11\_p1\_init\_accepted(Cmd)>
Date html generated:
2015_07_23-PM-04_12_31
Last ObjectModification:
2014_11_26-AM-11_24_52
Home
Index