Nuprl Definition : pv11_p1_propose'base-program

pv11_p1_propose'base-program(Cmd;mf) ==  base-class-program([propose])



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

Latex:
pv11\_p1\_propose'base-program(Cmd;mf)  ==    base-class-program([propose])



Date html generated: 2015_07_23-PM-04_12_25
Last ObjectModification: 2014_11_26-AM-11_24_37

Home Index