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