src/HOL/TPTP/TPTP_Interpret_Test.thy
changeset 62390 842917225d56
parent 58412 f65f11f4854c
child 62505 9e2a65912111
     1.1 --- a/src/HOL/TPTP/TPTP_Interpret_Test.thy	Tue Feb 23 15:37:18 2016 +0100
     1.2 +++ b/src/HOL/TPTP/TPTP_Interpret_Test.thy	Tue Feb 23 16:25:08 2016 +0100
     1.3 @@ -158,4 +158,4 @@
     1.4    else ()
     1.5  *}
     1.6  
     1.7 -end
     1.8 \ No newline at end of file
     1.9 +end