"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" ;
"LCF" "LCF/LCF" "LCF" "../LCF.html" > "FOL/FOL" ;
"Ex1" "LCF/ex/Ex1" "ex" + "Ex1.html" > "LCF/LCF" ;
"Ex2" "LCF/ex/Ex2" "ex" + "Ex2.html" > "LCF/LCF" ;
"Ex3" "LCF/ex/Ex3" "ex" + "Ex3.html" > "LCF/LCF" ;
"Ex4" "LCF/ex/Ex4" "ex" + "Ex4.html" > "LCF/LCF" ;