"ProtoPure" "ProtoPure" "Pure" "" >  ;
"Pure" "Pure" "Pure" "" > "ProtoPure" ;
"CPure" "CPure" "Pure" "" > "Pure" ;
"IFOLP" "FOLP/IFOLP" "FOLP" "../IFOLP.html" > "Pure" ;
"FOLP" "FOLP/FOLP" "FOLP" "../FOLP.html" > "FOLP/IFOLP" ;
"Nat" "FOLP/ex/Nat" "ex" + "Nat.html" > "FOLP/FOLP" ;
"If" "FOLP/ex/If" "ex" + "If.html" > "FOLP/FOLP" ;