Nuprl Definition : new_23_sig

Nuprl Definition : new_23_sig_NewRoundsStateFun

new_23_sig_NewRoundsStateFun(Cmd;notify;propose;f;x;es;e) == new_23_sig_NewRoundsState(Cmd;notify;propose;f) x(e)

Definitions occuring in Statement : new_23_sig_NewRoundsState: new_23_sig_NewRoundsState(Cmd;notify;propose;f), classfun: X(e), apply: f a
FDL editor aliases : new_23_sig_NewRoundsStateFun

Latex:
new\_23\_sig\_NewRoundsStateFun(Cmd;notify;propose;f;x;es;e) == new\_23\_sig\_NewRoundsState(Cmd;notify;propose;f) x(e) Date html generated: 2016_05_17-PM-02_04_26 Last ObjectModification: 2013_11_23-PM-09_55_28 Theory : 2!3!consensus!with!signatures Home Index