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