--- a/ROOT.ML	Tue Jan 29 16:37:38 2013 +0000
+++ b/ROOT.ML	Wed Jan 30 02:26:56 2013 +0000
@@ -14,8 +14,8 @@
 no_document 
 use_thys ["thys/turing_basic",
           "thys/turing_hoare", 
-	  "thys/uncomputable", 
+	  "thys/uncomputable"(*, 
 	  "thys/abacus", 
 	  "thys/rec_def", 
 	  "thys/recursive",
-          "thys/UF"]
+          "thys/UF"*)]