--- a/src/HOL/TPTP/TPTP_Parser.thy Tue Feb 23 15:37:18 2016 +0100 +++ b/src/HOL/TPTP/TPTP_Parser.thy Tue Feb 23 16:25:08 2016 +0100 @@ -44,4 +44,4 @@ performance of this software. *} -end \ No newline at end of file +end