Nuprl Definition : new_23_sig

Nuprl Definition : new_23_sig_QuorumStateFun

new_23_sig_QuorumStateFun(Cmd;notify;propose;f;x;es;e) == new_23_sig_QuorumState(Cmd;notify;propose;f) x(e)

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

Latex:
new\_23\_sig\_QuorumStateFun(Cmd;notify;propose;f;x;es;e) == new\_23\_sig\_QuorumState(Cmd;notify;propose;f) x(e) Date html generated: 2015_07_23-PM-03_50_42 Last ObjectModification: 2013_11_23-PM-09_54_54 Home Index