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