"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" ;
"State" "ZF/UNITY/State" "UNITY" + "State.html" > "ZF/Main" ;
"UNITY" "ZF/UNITY/UNITY" "UNITY" + "UNITY.html" > "ZF/UNITY/State" ;
"WFair" "ZF/UNITY/WFair" "UNITY" + "WFair.html" > "ZF/UNITY/UNITY" "ZF/Main_ZFC" ;
"Constrains" "ZF/UNITY/Constrains" "UNITY" + "Constrains.html" > "ZF/UNITY/UNITY" ;
"SubstAx" "ZF/UNITY/SubstAx" "UNITY" + "SubstAx.html" > "ZF/UNITY/WFair" "ZF/UNITY/Constrains" ;
"Mutex" "ZF/UNITY/Mutex" "UNITY" + "Mutex.html" > "ZF/UNITY/SubstAx" ;
"FP" "ZF/UNITY/FP" "UNITY" + "FP.html" > "ZF/UNITY/UNITY" ;
"Union" "ZF/UNITY/Union" "UNITY" + "Union.html" > "ZF/UNITY/SubstAx" "ZF/UNITY/FP" ;
"GenPrefix" "ZF/UNITY/GenPrefix" "UNITY" + "GenPrefix.html" > "ZF/Main" ;
"FoldSet" "ZF/UNITY/FoldSet" "UNITY" + "FoldSet.html" > "ZF/Main" ;
"Acc" "ZF/UNITY/Acc" "UNITY" + "Acc.html" > "ZF/Main" ;
"Multiset" "ZF/UNITY/Multiset" "UNITY" + "Multiset.html" > "ZF/UNITY/FoldSet" "ZF/UNITY/Acc" ;
"MultisetSum" "ZF/UNITY/MultisetSum" "UNITY" + "MultisetSum.html" > "ZF/UNITY/Multiset" ;
"Monotonicity" "ZF/UNITY/Monotonicity" "UNITY" + "Monotonicity.html" > "ZF/UNITY/GenPrefix" "ZF/UNITY/MultisetSum" ;
"Increasing" "ZF/UNITY/Increasing" "UNITY" + "Increasing.html" > "ZF/UNITY/Constrains" "ZF/UNITY/Monotonicity" ;
"Comp" "ZF/UNITY/Comp" "UNITY" + "Comp.html" > "ZF/UNITY/Union" "ZF/UNITY/Increasing" ;
"Guar" "ZF/UNITY/Guar" "UNITY" + "Guar.html" > "ZF/UNITY/Comp" ;
"Follows" "ZF/UNITY/Follows" "UNITY" + "Follows.html" > "ZF/UNITY/SubstAx" "ZF/UNITY/Increasing" ;
"AllocBase" "ZF/UNITY/AllocBase" "UNITY" + "AllocBase.html" > "ZF/UNITY/Follows" "ZF/UNITY/MultisetSum" "ZF/UNITY/Guar" ;
"Distributor" "ZF/UNITY/Distributor" "UNITY" + "Distributor.html" > "ZF/UNITY/AllocBase" "ZF/UNITY/Follows" "ZF/UNITY/Guar" "ZF/UNITY/GenPrefix" ;
"Merge" "ZF/UNITY/Merge" "UNITY" + "Merge.html" > "ZF/UNITY/AllocBase" "ZF/UNITY/Follows" "ZF/UNITY/Guar" "ZF/UNITY/GenPrefix" ;
"ClientImpl" "ZF/UNITY/ClientImpl" "UNITY" + "ClientImpl.html" > "ZF/UNITY/AllocBase" "ZF/UNITY/Guar" ;
"AllocImpl" "ZF/UNITY/AllocImpl" "UNITY" + "AllocImpl.html" > "ZF/UNITY/ClientImpl" ;