"ProtoPure" "ProtoPure" "Pure" "" >  ;
"Pure" "Pure" "Pure" "" > "ProtoPure" ;
"CPure" "CPure" "Pure" "" > "Pure" ;
"Sequents" "Sequents/Sequents" "Sequents" "../Sequents.html" > "Pure" ;
"LK0" "Sequents/LK0" "Sequents" "../LK0.html" > "Sequents/Sequents" ;
"LK" "Sequents/LK" "Sequents" "../LK.html" > "Sequents/LK0" ;
"Modal0" "Sequents/Modal0" "Sequents" "../Modal0.html" > "Sequents/LK0" ;
"T" "Sequents/T" "Sequents" "../T.html" > "Sequents/Modal0" ;
"S4" "Sequents/S4" "Sequents" "../S4.html" > "Sequents/Modal0" ;
"S43" "Sequents/S43" "Sequents" "../S43.html" > "Sequents/Modal0" ;
"ILL" "Sequents/ILL" "Sequents" "../ILL.html" > "Sequents/Sequents" ;