--- a/src/HOL/TPTP/TPTP_Interpret.thy Tue Feb 23 15:37:18 2016 +0100 +++ b/src/HOL/TPTP/TPTP_Interpret.thy Tue Feb 23 16:25:08 2016 +0100 @@ -14,4 +14,4 @@ ML_file "TPTP_Parser/tptp_interpret.ML" -end \ No newline at end of file +end