Nuprl Definition : pv11_p1_CommanderStateFun

pv11_p1_CommanderStateFun(Cmd;accpts;mf;x;zzs;es;e) ==  pv11_p1_CommanderState(Cmd;accpts;mf) x zzs(e)


Definitions occuring in Statement :  pv11_p1_CommanderState: pv11_p1_CommanderState(Cmd;accpts;mf),  classfun: X(e),  apply: f a
FDL editor aliases :  pv11_p1_CommanderStateFun
Latex:
pv11\_p1\_CommanderStateFun(Cmd;accpts;mf;x;zzs;es;e)  ==
    pv11\_p1\_CommanderState(Cmd;accpts;mf)  x  zzs(e)


Date html generated: 2016_05_17-PM-02_53_23
Last ObjectModification: 2014_11_26-AM-11_26_55

Theory : paxos!synod


Home Index