--- a/ROOT	Tue Feb 26 12:47:03 2013 +0000
+++ b/ROOT	Tue Feb 26 13:24:40 2013 +0000
@@ -6,6 +6,7 @@
     "thys/Uncomputable"
     "thys/Abacus_Mopup"
     "thys/Abacus"
+    "thys/Abacus_Defs"
     "thys/Rec_Def"
     "thys/Recursive"
     "thys/UF"