---

{ Key  Type }

{ Proof }

---

Definitions occuring in Statement :  encryption-key: Key,  member: t  T,  universe: Type
Definitions :  member: t  T,  encryption-key: Key
Lemmas :  Id_wf

---

Key  \mmember{}  Type


Date html generated: 2010_08_28-AM-01_49_21
Last ObjectModification: 2009_12_17-PM-10_13_11

Home Index