Nuprl Definition : pv11_p1_propose'base-program

pv11_p1_propose'base-program(Cmd;mf) ==  base-class-program([propose])


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


Date html generated: 2016_05_17-PM-02_50_25
Last ObjectModification: 2014_11_26-AM-11_24_37

Theory : paxos!synod


Home Index