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