"ProtoPure" "ProtoPure" "Pure" "" >  ;
"Pure" "Pure" "Pure" "" > "ProtoPure" ;
"CPure" "CPure" "Pure" "" > "Pure" ;
"IFOL" "FOL/IFOL" "FOL" "../FOL/IFOL.html" > "Pure" ;
"FOL" "FOL/FOL" "FOL" "../FOL/FOL.html" > "FOL/IFOL" ;
"ZF" "ZF/ZF" "ZF" + "ZF.html" > "FOL/FOL" ;
"upair" "ZF/upair" "ZF" + "upair.html" > "ZF/ZF" ;
"pair" "ZF/pair" "ZF" + "pair.html" > "ZF/upair" ;
"equalities" "ZF/equalities" "ZF" + "equalities.html" > "ZF/pair" ;
"Fixedpt" "ZF/Fixedpt" "ZF" + "Fixedpt.html" > "ZF/equalities" ;
"Bool" "ZF/Bool" "ZF" + "Bool.html" > "ZF/pair" ;
"Sum" "ZF/Sum" "ZF" + "Sum.html" > "ZF/Bool" "ZF/equalities" ;
"func" "ZF/func" "ZF" + "func.html" > "ZF/equalities" "ZF/Sum" ;
"QPair" "ZF/QPair" "ZF" + "QPair.html" > "ZF/Sum" "ZF/func" ;
"Inductive" "ZF/Inductive" "ZF" + "Inductive.html" > "ZF/Fixedpt" "ZF/QPair" ;
"Perm" "ZF/Perm" "ZF" + "Perm.html" > "ZF/func" ;
"Trancl" "ZF/Trancl" "ZF" + "Trancl.html" > "ZF/Fixedpt" "ZF/Perm" ;
"WF" "ZF/WF" "ZF" + "WF.html" > "ZF/Trancl" ;
"Ordinal" "ZF/Ordinal" "ZF" + "Ordinal.html" > "ZF/WF" "ZF/Bool" "ZF/equalities" ;
"OrdQuant" "ZF/OrdQuant" "ZF" + "OrdQuant.html" > "ZF/Ordinal" ;
"Nat" "ZF/Nat" "ZF" + "Nat.html" > "ZF/OrdQuant" "ZF/Bool" ;
"Epsilon" "ZF/Epsilon" "ZF" + "Epsilon.html" > "ZF/Nat" ;
"Order" "ZF/Order" "ZF" + "Order.html" > "ZF/WF" "ZF/Perm" ;
"OrderArith" "ZF/OrderArith" "ZF" + "OrderArith.html" > "ZF/Order" "ZF/Sum" "ZF/Ordinal" ;
"OrderType" "ZF/OrderType" "ZF" + "OrderType.html" > "ZF/OrderArith" "ZF/OrdQuant" "ZF/Nat" ;
"Finite" "ZF/Finite" "ZF" + "Finite.html" > "ZF/Inductive" "ZF/Epsilon" "ZF/Nat" ;
"Cardinal" "ZF/Cardinal" "ZF" + "Cardinal.html" > "ZF/OrderType" "ZF/Finite" "ZF/Nat" "ZF/Sum" ;
"Univ" "ZF/Univ" "ZF" + "Univ.html" > "ZF/Epsilon" "ZF/Cardinal" ;
"QUniv" "ZF/QUniv" "ZF" + "QUniv.html" > "ZF/Univ" "ZF/QPair" ;
"Datatype" "ZF/Datatype" "ZF" + "Datatype.html" > "ZF/Inductive" "ZF/Univ" "ZF/QUniv" ;
"Arith" "ZF/Arith" "ZF" + "Arith.html" > "ZF/Univ" ;
"ArithSimp" "ZF/ArithSimp" "ZF" + "ArithSimp.html" > "ZF/Arith" ;
"List" "ZF/List" "ZF" + "List.html" > "ZF/Datatype" "ZF/ArithSimp" ;
"EquivClass" "ZF/EquivClass" "ZF" + "EquivClass.html" > "ZF/Trancl" "ZF/Perm" ;
"Int" "ZF/Int" "ZF" + "Int.html" > "ZF/EquivClass" "ZF/ArithSimp" ;
"Bin" "ZF/Bin" "ZF" + "Bin.html" > "ZF/Int" "ZF/Datatype" ;
"IntArith" "ZF/IntArith" "ZF" + "IntArith.html" > "ZF/Bin" ;
"IntDiv" "ZF/IntDiv" "ZF" + "IntDiv.html" > "ZF/IntArith" "ZF/OrderArith" ;
"CardinalArith" "ZF/CardinalArith" "ZF" + "CardinalArith.html" > "ZF/Cardinal" "ZF/OrderArith" "ZF/ArithSimp" "ZF/Finite" ;
"Main" "ZF/Main" "ZF" + "Main.html" > "ZF/List" "ZF/IntDiv" "ZF/CardinalArith" ;
"AC" "ZF/AC" "ZF" + "AC.html" > "ZF/Main" ;
"Zorn" "ZF/Zorn" "ZF" + "Zorn.html" > "ZF/OrderArith" "ZF/AC" "ZF/Inductive" ;
"Cardinal_AC" "ZF/Cardinal_AC" "ZF" + "Cardinal_AC.html" > "ZF/CardinalArith" "ZF/Zorn" ;
"InfDatatype" "ZF/InfDatatype" "ZF" + "InfDatatype.html" > "ZF/Datatype" "ZF/Univ" "ZF/Finite" "ZF/Cardinal_AC" ;
"Main_ZFC" "ZF/Main_ZFC" "ZF" + "Main_ZFC.html" > "ZF/Main" "ZF/InfDatatype" ;