Nuprl Definition : pv11_p1_valid-LeaderState
pv11_p1_valid-LeaderState(Cmd;ldrs_uid;es;e;f) ==
pv11_p1_valid-proposals(Cmd;es;e;snd(snd(pv11_p1_LeaderStateFun(Cmd;ldrs_uid;f;es;e)));f)
Definitions occuring in Statement :
pv11_p1_valid-proposals: pv11_p1_valid-proposals(Cmd;es;e;L;f),
pv11_p1_LeaderStateFun: pv11_p1_LeaderStateFun(Cmd;ldrs_uid;mf;es;e),
pi2: snd(t)
FDL editor aliases :
pv11_p1_valid-LeaderState
Latex:
pv11\_p1\_valid-LeaderState(Cmd;ldrs$_{uid}$;es;e;f) ==
pv11\_p1\_valid-proposals(Cmd;es;e;snd(snd(pv11\_p1\_LeaderStateFun(Cmd;ldrs$_{uid}\mbackslash{}ff\000C24;f;es;e)));f)
Date html generated:
2015_07_23-PM-05_03_21
Last ObjectModification:
2013_12_18-PM-06_18_05
Home
Index