Nuprl Definition : pv11_p1_LeaderPropose-program
pv11_p1_LeaderPropose-program(Cmd;ldrs_uid;mf) ==
eclass1-program(pv11_p1_leader_propose(Cmd);pv11_p1_propose'base-program(Cmd;mf))
o pv11_p1_LeaderState-program(Cmd;ldrs_uid;mf)
Definitions occuring in Statement :
pv11_p1_leader_propose: pv11_p1_leader_propose(Cmd),
pv11_p1_LeaderState-program: pv11_p1_LeaderState-program(Cmd;ldrs_uid;mf),
pv11_p1_propose'base-program: pv11_p1_propose'base-program(Cmd;mf),
eclass2-program: Xpr o Ypr,
eclass1-program: eclass1-program(f;pr)
FDL editor aliases :
pv11_p1_LeaderPropose-program
Latex:
pv11\_p1\_LeaderPropose-program(Cmd;ldrs$_{uid}$;mf) ==
eclass1-program(pv11\_p1\_leader\_propose(Cmd);pv11\_p1\_propose'base-program(Cmd;mf))
o pv11\_p1\_LeaderState-program(Cmd;ldrs$_{uid}$;mf)
Date html generated:
2015_07_23-PM-04_33_27
Last ObjectModification:
2014_11_26-AM-11_30_14
Home
Index