---

{ simple-consensus-msg()  Type }

{ Proof }

---

Definitions occuring in Statement :  simple-consensus-msg: simple-consensus-msg(),  member: t  T,  universe: Type
Definitions :  member: t  T,  simple-consensus-msg: simple-consensus-msg()
Lemmas :  nat_wf

---

simple-consensus-msg()  \mmember{}  Type


Date html generated: 2010_08_27-PM-08_30_02
Last ObjectModification: 2010_06_23-PM-11_54_45

Home Index