"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" ;
"Fix" "CCL/Fix" "CCL" "../Fix.html" > "CCL/Type" ;
"Trancl" "CCL/Trancl" "CCL" "../Trancl.html" > "CCL/CCL" ;
"Wfd" "CCL/Wfd" "CCL" "../Wfd.html" > "CCL/Hered" "CCL/Type" "CCL/Trancl" ;
"Nat" "CCL/ex/Nat" "ex" + "Nat.html" > "CCL/Wfd" ;
"List" "CCL/ex/List" "ex" + "List.html" > "CCL/ex/Nat" ;
"Stream" "CCL/ex/Stream" "ex" + "Stream.html" > "CCL/ex/List" ;
"Flag" "CCL/ex/Flag" "ex" + "Flag.html" > "CCL/ex/List" ;