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