Nuprl Definition : new_23_sig_decided_with_id
new_23_sig_decided_with_id(Cmd;notify;propose;f;es;e;n) ==
e ∈b new_23_sig_decided'base(Cmd;notify;propose;f) ∧b (fst(msgval(e)) =z n)
Definitions occuring in Statement :
new_23_sig_decided'base: new_23_sig_decided'base(Cmd;notify;propose;f)
,
es-info-body: msgval(e)
,
member-eclass: e ∈b X
,
band: p ∧b q
,
eq_int: (i =z j)
,
pi1: fst(t)
FDL editor aliases :
new_23_sig_decided_with_id
Latex:
new\_23\_sig\_decided\_with\_id(Cmd;notify;propose;f;es;e;n) ==
e \mmember{}\msubb{} new\_23\_sig\_decided'base(Cmd;notify;propose;f) \mwedge{}\msubb{} (fst(msgval(e)) =\msubz{} n)
Date html generated:
2015_07_23-PM-04_02_21
Last ObjectModification:
2013_11_23-PM-09_59_44
Home
Index