---

{ DeclSet  ' }

{ Proof }

---

Definitions occuring in Statement :  es-decl-set: DeclSet,  member: t  T,  universe: Type
Definitions :  member: t  T,  es-decl-set: DeclSet,  so_lambda: x.t[x],  all: x:A. B[x],  prop: ,  so_apply: x[s]
Lemmas :  Id_wf,  l_member_wf,  fpf_wf,  Knd_wf,  assert_wf,  hasloc_wf

---

DeclSet  \mmember{}  \mBbbU{}'


Date html generated: 2010_08_27-AM-09_31_42
Last ObjectModification: 2009_12_16-AM-01_08_19

Home Index