Nuprl Definition : pax_p2a

pax_p2a() ==  [p2a]


Proof not projected




Definitions occuring in Statement :  cons: [car / cdr] nil: [] token: "$token"
Definitions :  cons: [car / cdr] token: "$token" nil: []
FDL editor aliases :  pax_p2a

pax\_p2a()  ==    [p2a]


Date html generated: 2011_10_20-PM-11_44_10
Last ObjectModification: 2011_05_12-PM-03_07_46

Home Index