Nuprl Definition : pv11_p1_p2b'base

pv11_p1_p2b'base(Cmd;mf) ==  Base(``pv11_p1 p2b``)



Definitions occuring in Statement :  base-headers-msg-val: Base(hdr) cons: [a b] nil: [] token: "$token"
FDL editor aliases :  pv11_p1_p2b'base

Latex:
pv11\_p1\_p2b'base(Cmd;mf)  ==    Base(``pv11\_p1  p2b``)



Date html generated: 2015_07_23-PM-04_12_08
Last ObjectModification: 2014_11_26-AM-11_23_52

Home Index