--- a/Nominal/ROOT.ML	Thu Jan 06 14:02:10 2011 +0000
+++ b/Nominal/ROOT.ML	Thu Jan 06 14:53:38 2011 +0000
@@ -2,7 +2,7 @@
 
 no_document use_thys
    ["Atoms",
-    "Nominal2_Abs",
+    "Ex/Weakening",
     "Ex/Classical",    
     "Ex/Datatypes",
     "Ex/Ex1",
@@ -25,7 +25,5 @@
     "Ex/Foo1",
     "Ex/Foo2",
     "Ex/CoreHaskell",
-    "Ex/CoreHaskell2",
-
-    "Ex/Weakening"
-    ];
+    "Ex/CoreHaskell2" 
+   ];