Nuprl Definition : new_23_sig_propose'base
new_23_sig_propose'base(Cmd;notify;propose;f) == Base(propose)
Definitions occuring in Statement :
base-headers-msg-val: Base(hdr)
FDL editor aliases :
new_23_sig_propose'base
Latex:
new\_23\_sig\_propose'base(Cmd;notify;propose;f) == Base(propose)
Date html generated:
2016_05_17-PM-01_53_08
Last ObjectModification:
2013_11_23-PM-09_54_35
Theory : 2!3!consensus!with!signatures
Home
Index