Nuprl Definition : pv11_p1_p2a'base-program
pv11_p1_p2a'base-program(Cmd;mf) == base-class-program(``pv11_p1 p2a``)
Definitions occuring in Statement :
base-class-program: base-class-program(hdr),
cons: [a / b],
nil: [],
token: "$token"
FDL editor aliases :
pv11_p1_p2a'base-program
Latex:
pv11\_p1\_p2a'base-program(Cmd;mf) == base-class-program(``pv11\_p1 p2a``)
Date html generated:
2016_05_17-PM-02_49_13
Last ObjectModification:
2014_11_26-AM-11_23_44
Theory : paxos!synod
Home
Index