Nuprl Definition : new_23_sig_RoundInfo
new_23_sig_RoundInfo(Cmd;notify;propose;f) ==
new_23_sig_retry'base(Cmd;notify;propose;f)
|| (new_23_sig_vote2retry(Cmd) o new_23_sig_vote'base(Cmd;notify;propose;f))
Definitions occuring in Statement :
new_23_sig_vote2retry: new_23_sig_vote2retry(Cmd),
new_23_sig_retry'base: new_23_sig_retry'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_RoundInfo
Latex:
new\_23\_sig\_RoundInfo(Cmd;notify;propose;f) ==
new\_23\_sig\_retry'base(Cmd;notify;propose;f)
|| (new\_23\_sig\_vote2retry(Cmd) o new\_23\_sig\_vote'base(Cmd;notify;propose;f))
Date html generated:
2015_07_23-PM-03_51_01
Last ObjectModification:
2013_11_23-PM-09_55_13
Home
Index