changeset 49550 | 0a82e98fd4a3 |
parent 48891 | c0eafbd55de3 |
child 59574 | de392405a851 |
--- a/src/HOL/Mirabelle/Mirabelle.thy Mon Sep 24 15:37:58 2012 +0200 +++ b/src/HOL/Mirabelle/Mirabelle.thy Mon Sep 24 16:13:56 2012 +0200 @@ -9,10 +9,6 @@ ML_file "Tools/mirabelle.ML" ML_file "../TPTP/sledgehammer_tactics.ML" -(* no multithreading, no parallel proofs *) (* FIXME *) -ML {* Multithreading.max_threads := 1 *} -ML {* Goal.parallel_proofs := 0 *} - ML {* Toplevel.add_hook Mirabelle.step_hook *} ML {*