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:
2015_07_23-PM-03_50_25
Last ObjectModification:
2013_11_23-PM-09_54_38
Home
Index