# HG changeset patch
# User blanchet
# Date 1341868992 -7200
# Node ID 6a797139f0b2d36cad67f237a3a91d127bca62cc
# Parent  8994afe09c1827ef4bc0861793684f142dfa8268
cleanup

diff -r 8994afe09c18 -r 6a797139f0b2 src/HOL/TPTP/ATP_Theory_Export.thy
--- 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}
 *}