"ProtoPure" "ProtoPure" "Pure" "" >  ;
"Pure" "Pure" "Pure" "" > "ProtoPure" ;
"CPure" "CPure" "Pure" "" > "Pure" ;
"IFOL" "FOL/IFOL" "FOL" "../IFOL.html" > "Pure" ;
"FOL" "FOL/FOL" "FOL" "../FOL.html" > "FOL/IFOL" ;
"First_Order_Logic" "FOL/ex/First_Order_Logic" "ex" + "First_Order_Logic.html" > "Pure" ;
"Natural_Numbers" "FOL/ex/Natural_Numbers" "ex" + "Natural_Numbers.html" > "FOL/FOL" ;
"Nat" "FOL/ex/Nat" "ex" + "Nat.html" > "FOL/FOL" ;
"Prolog" "FOL/ex/Prolog" "ex" + "Prolog.html" > "FOL/FOL" ;
"Intuitionistic" "FOL/ex/Intuitionistic" "ex" + "Intuitionistic.html" > "FOL/IFOL" ;
"Classical" "FOL/ex/Classical" "ex" + "Classical.html" > "FOL/FOL" ;
"If" "FOL/ex/If" "ex" + "If.html" > "FOL/FOL" ;
"NatClass" "FOL/ex/NatClass" "ex" + "NatClass.html" > "FOL/FOL" ;
"Nat2" "FOL/ex/Nat2" "ex" + "Nat2.html" > "FOL/FOL" ;
"List" "FOL/ex/List" "ex" + "List.html" > "FOL/ex/Nat2" ;
"IffOracle" "FOL/ex/IffOracle" "ex" + "IffOracle.html" > "FOL/FOL" ;
"LocaleTest" "FOL/ex/LocaleTest" "ex" + "LocaleTest.html" > "FOL/FOL" ;