---

{ RunType  ' }

{ Proof }

---

Definitions occuring in Statement :  RunType: RunType,  member: t  T,  universe: Type
Definitions :  universe: Type,  member: t  T,  equal: s = t,  function: x:A  B[x],  all: x:A. B[x],  mData: mData,  name: Name,  product: x:A  B[x],  lambda: x.A[x],  so_lambda: x.t[x],  RunType: RunType,  Auto: Error :Auto,  CollapseTHEN: Error :CollapseTHEN
Lemmas :  pRunType_wf,  name_wf,  mData_wf

---

RunType  \mmember{}  \mBbbU{}'


Date html generated: 2010_08_27-PM-08_04_09
Last ObjectModification: 2010_06_09-PM-06_41_28

Home Index