Hilbert_Classical: more precise control of parallel_proofs;

--- 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";