1.1 --- a/src/HOL/ex/ROOT.ML	Mon Sep 06 13:22:11 2010 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Mon Sep 06 14:18:16 2010 +0200
     1.3 @@ -70,9 +70,6 @@
     1.4  HTML.with_charset "utf-8" (no_document use_thys)
     1.5    ["Hebrew", "Chinese", "Serbian"];
     1.6  
     1.7 -(setmp_noncritical proofs 2 (setmp_noncritical Multithreading.max_threads 1 use_thy))  (* FIXME *)
     1.8 -  "Hilbert_Classical";
     1.9 -
    1.10  use_thy "SVC_Oracle";
    1.11  if getenv "SVC_HOME" = "" then ()
    1.12  else use_thy "svc_test";