| changeset 39155 | 3e94ebe282f1 |
| parent 32564 | 378528d2f7eb |
| child 41358 | d5e91925916e |
--- a/src/HOL/Mirabelle/Mirabelle.thy Mon Sep 06 12:38:45 2010 +0200 +++ b/src/HOL/Mirabelle/Mirabelle.thy Mon Sep 06 13:06:27 2010 +0200 @@ -7,7 +7,7 @@ uses "Tools/mirabelle.ML" begin -(* no multithreading, no parallel proofs *) +(* no multithreading, no parallel proofs *) (* FIXME *) ML {* Multithreading.max_threads := 1 *} ML {* Goal.parallel_proofs := 0 *}