---

{ Knd  Type }

{ Proof }

---

Definitions occuring in Statement :  Knd: Knd,  member: t  T,  universe: Type
Definitions :  member: t  T,  Knd: Knd
Lemmas :  IdLnk_wf,  Id_wf

---

Knd  \mmember{}  Type


Date html generated: 2010_08_26-PM-11_32_31
Last ObjectModification: 2008_02_27-PM-09_22_41

Home Index