Nuprl Definition : pax_p2b
pax_p2b() == [p2b]
Proof not projected
Definitions occuring in Statement :
cons: [car / cdr],
nil: [],
token: "$token"
Definitions :
cons: [car / cdr],
token: "$token",
nil: []
FDL editor aliases :
pax_p2b
pax\_p2b() == [p2b]
Date html generated:
2011_10_20-PM-11_44_34
Last ObjectModification:
2011_05_12-PM-03_12_16
Home
Index