Nuprl Definition : new_23_sig_decided'base
new_23_sig_decided'base(Cmd;notify;propose;f) == Base(``new_23_sig decided``)
Definitions occuring in Statement :
base-headers-msg-val: Base(hdr),
cons: [a / b],
nil: [],
token: "$token"
FDL editor aliases :
new_23_sig_decided'base
Latex:
new\_23\_sig\_decided'base(Cmd;notify;propose;f) == Base(``new\_23\_sig decided``)
Date html generated:
2015_07_23-PM-03_49_53
Last ObjectModification:
2013_11_23-PM-09_54_26
Home
Index