Nuprl Definition : new_23_sig

Nuprl Definition : new_23_sig_retry'base

new_23_sig_retry'base(Cmd;notify;propose;f) == Base(``new_23_sig retry``)

Definitions occuring in Statement : base-headers-msg-val: Base(hdr), cons: [a / b], nil: [], token: "$token"
FDL editor aliases : new_23_sig_retry'base

Latex:
new\_23\_sig\_retry'base(Cmd;notify;propose;f) == Base(``new\_23\_sig retry``) Date html generated: 2016_05_17-PM-01_52_29 Last ObjectModification: 2013_11_23-PM-09_54_19 Theory : 2!3!consensus!with!signatures Home Index