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: || 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