1.1 --- a/src/HOL/TPTP/ATP_Theory_Export.thy	Fri Jul 20 21:05:47 2012 +0200
     1.2 +++ b/src/HOL/TPTP/ATP_Theory_Export.thy	Fri Jul 20 22:19:45 2012 +0200
     1.3 @@ -10,13 +10,13 @@
     1.4  begin
     1.5  
     1.6  ML {*
     1.7 -open ATP_Problem;
     1.8 -open ATP_Theory_Export;
     1.9 +open ATP_Problem
    1.10 +open ATP_Theory_Export
    1.11  *}
    1.12  
    1.13  ML {*
    1.14 -val do_it = false; (* switch to "true" to generate the files *)
    1.15 -val thy = @{theory List};
    1.16 +val do_it = false (* switch to "true" to generate the files *)
    1.17 +val thy = @{theory List}
    1.18  val ctxt = @{context}
    1.19  *}
    1.20