Nuprl Definition : new_23_sig_decided'base-program

new_23_sig_decided'base-program(Cmd;notify;propose;f) == base-class-program(``new_23_sig decided``)

Definitions occuring in Statement : base-class-program: base-class-program(hdr), cons: [a / b], nil: [], token: "$token"
FDL editor aliases : new_23_sig_decided'base-program

Latex:
new\_23\_sig\_decided'base-program(Cmd;notify;propose;f) == base-class-program(``new\_23\_sig decided``) Date html generated: 2015_07_23-PM-03_49_56 Last ObjectModification: 2013_11_23-PM-09_54_28 Home Index