"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/equalities" "ZF/Bool" ;
"func" "ZF/func" "ZF" "../func.html" > "ZF/Sum" "ZF/equalities" ;
"Perm" "ZF/Perm" "ZF" "../Perm.html" > "ZF/func" ;
"Trancl" "ZF/Trancl" "ZF" "../Trancl.html" > "ZF/Perm" "ZF/Fixedpt" ;
"WF" "ZF/WF" "ZF" "../WF.html" > "ZF/Trancl" ;
"Order" "ZF/Order" "ZF" "../Order.html" > "ZF/Perm" "ZF/WF" ;
"EquivClass" "ZF/EquivClass" "ZF" "../EquivClass.html" > "ZF/Perm" "ZF/Trancl" ;
"QPair" "ZF/QPair" "ZF" "../QPair.html" > "ZF/func" "ZF/Sum" ;
"Inductive" "ZF/Inductive" "ZF" "../Inductive.html" > "ZF/QPair" "ZF/Fixedpt" ;
"Ordinal" "ZF/Ordinal" "ZF" "../Ordinal.html" > "ZF/equalities" "ZF/Bool" "ZF/WF" ;
"OrdQuant" "ZF/OrdQuant" "ZF" "../OrdQuant.html" > "ZF/Ordinal" ;
"OrderArith" "ZF/OrderArith" "ZF" "../OrderArith.html" > "ZF/Ordinal" "ZF/Sum" "ZF/Order" ;
"Nat" "ZF/Nat" "ZF" "../Nat.html" > "ZF/Bool" "ZF/OrdQuant" ;
"Epsilon" "ZF/Epsilon" "ZF" "../Epsilon.html" > "ZF/Nat" ;
"OrderType" "ZF/OrderType" "ZF" "../OrderType.html" > "ZF/Nat" "ZF/OrdQuant" "ZF/OrderArith" ;
"Finite" "ZF/Finite" "ZF" "../Finite.html" > "ZF/Nat" "ZF/Epsilon" "ZF/Inductive" ;
"Cardinal" "ZF/Cardinal" "ZF" "../Cardinal.html" > "ZF/Sum" "ZF/Nat" "ZF/Finite" "ZF/OrderType" ;
"Univ" "ZF/Univ" "ZF" "../Univ.html" > "ZF/Cardinal" "ZF/Epsilon" ;
"QUniv" "ZF/QUniv" "ZF" "../QUniv.html" > "ZF/QPair" "ZF/Univ" ;
"Datatype" "ZF/Datatype" "ZF" "../Datatype.html" > "ZF/QUniv" "ZF/Univ" "ZF/Inductive" ;
"Arith" "ZF/Arith" "ZF" "../Arith.html" > "ZF/Univ" ;
"ArithSimp" "ZF/ArithSimp" "ZF" "../ArithSimp.html" > "ZF/Arith" ;
"List" "ZF/List" "ZF" "../List.html" > "ZF/ArithSimp" "ZF/Datatype" ;
"Int" "ZF/Int" "ZF" "../Int.html" > "ZF/ArithSimp" "ZF/EquivClass" ;
"Bin" "ZF/Bin" "ZF" "../Bin.html" > "ZF/Datatype" "ZF/Int" ;
"IntArith" "ZF/IntArith" "ZF" "../IntArith.html" > "ZF/Bin" ;
"IntDiv" "ZF/IntDiv" "ZF" "../IntDiv.html" > "ZF/OrderArith" "ZF/IntArith" ;
"CardinalArith" "ZF/CardinalArith" "ZF" "../CardinalArith.html" > "ZF/Finite" "ZF/ArithSimp" "ZF/OrderArith" "ZF/Cardinal" ;
"Main" "ZF/Main" "ZF" "../Main.html" > "ZF/CardinalArith" "ZF/IntDiv" "ZF/List" ;
"AC" "ZF/AC" "ZF" "../AC.html" > "ZF/Main" ;
"Zorn" "ZF/Zorn" "ZF" "../Zorn.html" > "ZF/Inductive" "ZF/AC" "ZF/OrderArith" ;
"Cardinal_AC" "ZF/Cardinal_AC" "ZF" "../Cardinal_AC.html" > "ZF/Zorn" "ZF/CardinalArith" ;
"InfDatatype" "ZF/InfDatatype" "ZF" "../InfDatatype.html" > "ZF/Cardinal_AC" "ZF/Finite" "ZF/Univ" "ZF/Datatype" ;
"Main_ZFC" "ZF/Main_ZFC" "ZF" "../Main_ZFC.html" > "ZF/InfDatatype" "ZF/Main" ;
"AC_Equiv" "ZF/AC/AC_Equiv" "AC" + "AC_Equiv.html" > "ZF/Main" ;
"Cardinal_aux" "ZF/AC/Cardinal_aux" "AC" + "Cardinal_aux.html" > "ZF/AC/AC_Equiv" ;
"WO6_WO1" "ZF/AC/WO6_WO1" "AC" + "WO6_WO1.html" > "ZF/AC/Cardinal_aux" ;
"WO1_WO7" "ZF/AC/WO1_WO7" "AC" + "WO1_WO7.html" > "ZF/AC/AC_Equiv" ;
"AC7_AC9" "ZF/AC/AC7_AC9" "AC" + "AC7_AC9.html" > "ZF/AC/AC_Equiv" ;
"WO1_AC" "ZF/AC/WO1_AC" "AC" + "WO1_AC.html" > "ZF/AC/AC_Equiv" ;
"Hartog" "ZF/AC/Hartog" "AC" + "Hartog.html" > "ZF/AC/AC_Equiv" ;
"HH" "ZF/AC/HH" "AC" + "HH.html" > "ZF/AC/AC_Equiv" "ZF/AC/Hartog" ;
"AC15_WO6" "ZF/AC/AC15_WO6" "AC" + "AC15_WO6.html" > "ZF/AC/HH" "ZF/AC/Cardinal_aux" ;
"AC16_lemmas" "ZF/AC/AC16_lemmas" "AC" + "AC16_lemmas.html" > "ZF/AC/AC_Equiv" "ZF/AC/Hartog" "ZF/AC/Cardinal_aux" ;
"WO2_AC16" "ZF/AC/WO2_AC16" "AC" + "WO2_AC16.html" > "ZF/AC/AC_Equiv" "ZF/AC/AC16_lemmas" "ZF/AC/Cardinal_aux" ;
"AC16_WO4" "ZF/AC/AC16_WO4" "AC" + "AC16_WO4.html" > "ZF/AC/AC16_lemmas" ;
"AC17_AC1" "ZF/AC/AC17_AC1" "AC" + "AC17_AC1.html" > "ZF/AC/HH" ;
"AC18_AC19" "ZF/AC/AC18_AC19" "AC" + "AC18_AC19.html" > "ZF/AC/AC_Equiv" ;
"DC" "ZF/AC/DC" "AC" + "DC.html" > "ZF/AC/AC_Equiv" "ZF/AC/Hartog" "ZF/AC/Cardinal_aux" ;