---

{ E#Program  {i''} }

{ Proof }

---

Definitions occuring in Statement :  esharp-program: E#Program,  member: t  T,  universe: Type
Definitions :  equal: s = t,  member: t  T,  function: x:A  B[x],  all: x:A. B[x],  esharp-rule: E#Rule,  list: type List,  universe: Type,  esharp-env: E#Env,  product: x:A  B[x],  esharp-program: E#Program
Lemmas :  esharp-env_wf,  esharp-rule_wf

---

E\#Program  \mmember{}  \mBbbU{}\{i''\}


Date html generated: 2010_08_27-PM-08_22_58
Last ObjectModification: 2010_06_23-AM-12_58_31

Home Index