diff -r 480aae81b489 -r dfc629cd11de Paper/ROOT.ML
--- a/Paper/ROOT.ML	Sun Feb 03 12:24:28 2013 +0000
+++ b/Paper/ROOT.ML	Sun Feb 03 13:31:14 2013 +0000
@@ -1,8 +1,8 @@
 no_document 
 use_thys ["../thys/turing_basic", 
           "../thys/turing_hoare",
-          "../thys/uncomputable"(*, 
-          "../thys/abacus",
+          "../thys/uncomputable", 
+          "../thys/abacus"(*,
           "../thys/rec_def",
           "../thys/recursive"*)];