Nuprl Definition : pv11_p1_preempted'base-program

pv11_p1_preempted'base-program(Cmd;mf) ==  base-class-program(``pv11_p1 preempted``)


Definitions occuring in Statement :  base-class-program: base-class-program(hdr),  cons: [a / b],  nil: [],  token: "$token"
FDL editor aliases :  pv11_p1_preempted'base-program
Latex:
pv11\_p1\_preempted'base-program(Cmd;mf)  ==    base-class-program(``pv11\_p1  preempted``)


Date html generated: 2016_05_17-PM-02_49_49
Last ObjectModification: 2014_11_26-AM-11_24_10

Theory : paxos!synod


Home Index