---

{ IdDeq  EqDecider(Id) }

{ Proof }

---

Definitions occuring in Statement :  id-deq: IdDeq,  Id: Id,  member: t  T,  deq: EqDecider(T)
Definitions :  Id: Id,  id-deq: IdDeq,  member: t  T
Lemmas :  atom2-deq_wf

---

IdDeq  \mmember{}  EqDecider(Id)


Date html generated: 2010_08_26-PM-11_34_57
Last ObjectModification: 2008_02_27-PM-09_31_36

Home Index