Nuprl Definition : new_23_sig_Proposal-program
new_23_sig_Proposal-program(Cmd;notify;propose;f) ==
new_23_sig_propose'base-program(Cmd;notify;propose;f)
|| eclass0-program(new_23_sig_vote2prop(Cmd);new_23_sig_vote'base-program(Cmd;notify;propose;f))
Definitions occuring in Statement :
new_23_sig_vote2prop: new_23_sig_vote2prop(Cmd),
new_23_sig_propose'base-program: new_23_sig_propose'base-program(Cmd;notify;propose;f),
new_23_sig_vote'base-program: new_23_sig_vote'base-program(Cmd;notify;propose;f),
parallel-class-program: X || Y,
eclass0-program: eclass0-program(f;pr)
FDL editor aliases :
new_23_sig_Proposal-program
Latex:
new\_23\_sig\_Proposal-program(Cmd;notify;propose;f) ==
new\_23\_sig\_propose'base-program(Cmd;notify;propose;f)
|| eclass0-program(new\_23\_sig\_vote2prop(Cmd);new\_23\_sig\_vote'base-program(Cmd;notify;propose;f))
Date html generated:
2015_07_23-PM-03_51_53
Last ObjectModification:
2013_11_23-PM-09_56_13
Home
Index