"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" ;