| changeset 48322 | 8a8d71e34297 |
| parent 48301 | e5c5037a3104 |
| child 48333 | 2250197977dc |
--- a/src/HOL/TPTP/MaSh_Eval.thy Wed Jul 18 08:44:04 2012 +0200 +++ b/src/HOL/TPTP/MaSh_Eval.thy Wed Jul 18 08:44:04 2012 +0200 @@ -20,7 +20,7 @@ *} ML {* -val do_it = true (* switch to "true" to generate the files *); +val do_it = false (* switch to "true" to generate the files *); val thy = @{theory Nat}; val params = Sledgehammer_Isar.default_params @{context} [] *}