Nuprl Definition : pv11_p1_p2a'base

pv11_p1_p2a'base(Cmd;mf) ==  Base(``pv11_p1 p2a``)



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

Latex:
pv11\_p1\_p2a'base(Cmd;mf)  ==    Base(``pv11\_p1  p2a``)



Date html generated: 2015_07_23-PM-04_12_02
Last ObjectModification: 2014_11_26-AM-11_23_39

Home Index