[Updated 030317]

Algebraic1Par.alfa: MBSet.alfa
Algebraic1Par.alfa: NitP.alfa

Algebraic.alfa: MBSet.alfa

BST.alfa: IndFam.alfa

CrushDAlgebraic1Par.alfa: DAlgebraic1Par.alfa

DAlgebraic1Par.alfa: MBSet.alfa
DAlgebraic1Par.alfa: NitP.alfa

DAlgebraic2.alfa: MBSet.alfa

DAlgebraic.alfa: MBSet.alfa

DatoidBase.alfa: Prelude.alfa
DatoidBase.alfa: New/Datoid/DATOID.alfa
DatoidBase.alfa: EqBase.alfa

DInd1Par.alfa: MBSet.alfa
DInd1Par.alfa: NitP.alfa

DInd.alfa: MBSet.alfa

EqBase.alfa: Prelude.alfa
EqBase.alfa: And.alfa
EqBase.alfa: Sigma.alfa

EqZipUtil.alfa: MBSet.alfa
EqZipUtil.alfa: EqBase.alfa
EqZipUtil.alfa: ZipBase.alfa

Even.alfa: IndFam.alfa

ExamplesDAlgebraic2.alfa: DAlgebraic2.alfa
ExamplesDAlgebraic.alfa: DAlgebraic.alfa

HomoDatoid.alfa: Homogenous.alfa
HomoDatoid.alfa: Tools.alfa
HomoDatoid.alfa: DatoidBase.alfa

HomoFin.alfa: Lib/Op/Fin.alfa

Homogenous1.alfa: Lib/Op/Bool.alfa

Homogenous.alfa: New/Op/Vec.alfa
Homogenous.alfa: New/TYPE.alfa

HomogenousVec.alfa: Lib/Op/Vec.alfa

IData.alfa: MBSet.alfa

IndFam.alfa: MBSet.alfa

Infinitary.alfa: Lib/Op/Bool.alfa
Infinitary.alfa: Lib/Op/Nat.alfa

Iterated.alfa: Lib/Op/Bool.alfa
Iterated.alfa: Lib/Op/Nat.alfa

ManySorted.alfa: Tools.alfa

ManySortedReflexivity.alfa: ManySorted.alfa

ManySortedUnused.alfa: ManySorted.alfa

MBSet.alfa: Lib/SET.alfa
MBSet.alfa: Lib/Op/Nat.alfa
MBSet.alfa: Lib/Op/Bool.alfa
MBSet.alfa: Sigma.alfa
MBSet.alfa: And.alfa

NitP.alfa: MBSet.alfa

Prelude.alfa: New/SET.alfa
Prelude.alfa: New/Op/Nat.alfa
Prelude.alfa: New/Op/Bool.alfa

Reflexive.alfa: MBSet.alfa
Reflexive.alfa: DAlgebraic.alfa
Reflexive.alfa: EqBase.alfa
Reflexive.alfa: Tools.alfa

Terms.alfa: IndFam.alfa

TestZip.alfa: TVec.alfa
TestZip.alfa: ZipDInd1Par.alfa

Tools.alfa: Prelude.alfa
Tools.alfa: Sigma.alfa
Tools.alfa: And.alfa

TVec.alfa: DInd1Par.alfa

ZipBase.alfa: Tools.alfa

ZipDAlgebraic1Par.alfa: Tools.alfa
ZipDAlgebraic1Par.alfa: DAlgebraic1Par.alfa
ZipDAlgebraic1Par.alfa: ZipBase.alfa
ZipDAlgebraic1Par.alfa: EqZipUtil.alfa

ZipDInd1Par.alfa: Tools.alfa
ZipDInd1Par.alfa: DInd1Par.alfa
ZipDInd1Par.alfa: ZipBase.alfa