"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" ;
"Set" "CCL/Set" "CCL" + "Set.html" > "FOL/FOL" ;
"Lfp" "CCL/Lfp" "CCL" + "Lfp.html" > "CCL/Set" ;
"Gfp" "CCL/Gfp" "CCL" + "Gfp.html" > "CCL/Lfp" ;
"CCL" "CCL/CCL" "CCL" + "CCL.html" > "CCL/Gfp" ;
"Term" "CCL/Term" "CCL" + "Term.html" > "CCL/CCL" ;
"Type" "CCL/Type" "CCL" + "Type.html" > "CCL/Term" ;
"Hered" "CCL/Hered" "CCL" + "Hered.html" > "CCL/Type" ;
"Trancl" "CCL/Trancl" "CCL" + "Trancl.html" > "CCL/CCL" ;
"Wfd" "CCL/Wfd" "CCL" + "Wfd.html" > "CCL/Trancl" "CCL/Type" "CCL/Hered" ;
"Fix" "CCL/Fix" "CCL" + "Fix.html" > "CCL/Type" ;