FOL_Berghofer
FOL_Monk
PAC_Checker2
Sequent_Calculus
Simple_Prover
Weidenbach_Book
