---

{ Normal(Top) }

{ Proof }

---

Definitions occuring in Statement :  normal-type: Normal(T),  top: Top
Definitions :  normal-type: Normal(T),  top: Top,  member: t  T
Lemmas :  normal-type_wf,  top_wf

---

Normal(Top)


Date html generated: 2010_08_27-AM-12_03_40
Last ObjectModification: 2008_02_27-PM-09_49_47

Home Index