Pure

FOL_Implicational_Axiomatics.thy

FOL_Natural_Deduction.thy

HOL_Pure.thy