--- a/Nominal/ROOT.ML	Sun Nov 14 12:09:14 2010 +0000
+++ b/Nominal/ROOT.ML	Sun Nov 14 16:34:47 2010 +0000
@@ -1,7 +1,8 @@
 
 
 no_document use_thys
-   ["../Nominal-General/Atoms",
+   ["Atoms",
+    "Nominal2_Abs",
     "Ex/Classical",    
     "Ex/Datatypes",
     "Ex/Ex1",