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