author | blanchet |
Mon, 09 Jul 2012 23:23:12 +0200 | |
changeset 48218 | 6a797139f0b2 |
parent 48217 | 8994afe09c18 |
child 48219 | 49930a9ec27c |
--- 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} *}