--- a/Paper/ROOT.ML	Tue Jan 22 14:46:02 2013 +0000
+++ b/Paper/ROOT.ML	Wed Jan 23 08:01:35 2013 +0100
@@ -1,7 +1,7 @@
 no_document 
-use_thys ["../thys/turing_basic"(*, 
+use_thys ["../thys/turing_basic", 
           "../thys/turing_hoare",
-          "../thys/uncomputable", 
+          "../thys/uncomputable"(*, 
           "../thys/abacus",
           "../thys/rec_def",
           "../thys/recursive"*)];