changeset 32615 | 20f1edc87b7d |
parent 32560 | c83dab2c5988 |
child 33356 | 9157d0f9f00e |
--- a/src/HOL/ex/ROOT.ML Sun Sep 20 17:23:23 2009 +0200 +++ b/src/HOL/ex/ROOT.ML Sun Sep 20 18:15:07 2009 +0200 @@ -68,8 +68,7 @@ "Landau" ]; -Future.shutdown (); -(setmp_noncritical proofs 2 (setmp_noncritical Multithreading.max_threads 1 use_thy)) +(setmp_noncritical proofs 2 (setmp_noncritical Goal.parallel_proofs 0 use_thy)) "Hilbert_Classical"; use_thy "SVC_Oracle";