"ProtoPure" "ProtoPure" "Pure" "" >  ;
"Pure" "Pure" "Pure" "" > "ProtoPure" ;
"CPure" "CPure" "Pure" "" > "Pure" ;
"CTT" "CTT/CTT" "CTT" "../CTT.html" > "Pure" ;
"Bool" "CTT/Bool" "CTT" "../Bool.html" > "CTT/CTT" ;
"Arith" "CTT/Arith" "CTT" "../Arith.html" > "CTT/Bool" ;
"Main" "CTT/Main" "CTT" "../Main.html" > "CTT/Bool" "CTT/Arith" "CTT/CTT" ;