changeset 59720 | f893472fff31 |
parent 58412 | f65f11f4854c |
child 60649 | e007aa6a8aa2 |
--- a/src/HOL/TPTP/TPTP_Proof_Reconstruction_Test.thy Mon Mar 16 16:26:33 2015 +0100 +++ b/src/HOL/TPTP/TPTP_Proof_Reconstruction_Test.thy Mon Mar 16 16:59:59 2015 +0100 @@ -1,4 +1,4 @@ -(* Title: HOL/TPTP/TPTP_Proof_Reconstruction.thy +(* Title: HOL/TPTP/TPTP_Proof_Reconstruction_Test.thy Author: Nik Sultana, Cambridge University Computer Laboratory Various tests for the proof reconstruction module.