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