cleanup

--- a/src/HOL/TPTP/ATP_Theory_Export.thy	Mon Jul 09 23:23:12 2012 +0200
+++ b/src/HOL/TPTP/ATP_Theory_Export.thy	Mon Jul 09 23:23:12 2012 +0200
@@ -15,8 +15,8 @@
 *}
 
 ML {*
-val do_it = true (* false ### *); (* switch to "true" to generate the files *)
-val thy = @{theory Nat}; (* @{theory Complex_Main}; ### *)
+val do_it = false; (* switch to "true" to generate the files *)
+val thy = @{theory Complex_Main};
 val ctxt = @{context}
 *}