---

{ PiDataVal()  Type }

{ Proof }

---

Definitions occuring in Statement :  PiDataVal: PiDataVal(),  member: t  T,  universe: Type
Definitions :  member: t  T,  PiDataVal: PiDataVal()
Lemmas :  Id_wf,  name_wf,  pi_prefix_wf,  nat_wf,  unit_wf

---

PiDataVal()  \mmember{}  Type


Date html generated: 2011_08_17-PM-06_52_58
Last ObjectModification: 2011_06_18-PM-12_27_22

Home Index