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