Nuprl Definition : pv11_p1_valid-p2a-message
pv11_p1_valid-p2a-message(Cmd;es;e;f) == pv11_p1_valid-proposal(Cmd;es;e;snd(snd(msgval(e)));f)
Definitions occuring in Statement :
pv11_p1_valid-proposal: pv11_p1_valid-proposal(Cmd;es;e;p;f),
es-info-body: msgval(e),
pi2: snd(t)
FDL editor aliases :
pv11_p1_valid-p2a-message
Latex:
pv11\_p1\_valid-p2a-message(Cmd;es;e;f) == pv11\_p1\_valid-proposal(Cmd;es;e;snd(snd(msgval(e)));f)
Date html generated:
2015_07_23-PM-05_03_45
Last ObjectModification:
2013_12_18-PM-06_18_49
Home
Index