---

{ simple-consensus-state()  Type }

{ Proof }

---

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

---

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


Date html generated: 2010_08_27-PM-08_24_32
Last ObjectModification: 2010_06_23-PM-11_52_45

Home Index