--- a/Nominal/ROOT.ML	Fri Nov 05 15:21:10 2010 +0000
+++ b/Nominal/ROOT.ML	Sat Nov 06 06:18:41 2010 +0000
@@ -1,8 +1,8 @@
 
 
 no_document use_thys
-   ["Ex/Classical",    
-    "Ex/CoreHaskell",
+   ["../Nominal-General/Atoms",
+    "Ex/Classical",    
     "Ex/Datatypes",
     "Ex/Ex1",
     "Ex/ExPS3",
@@ -19,5 +19,7 @@
     "Ex/SingleLet",
     "Ex/TypeSchemes",
     "Ex/TypeVarsTest",
-    "Ex/Foo1"
+    "Ex/Foo1",
+    "Ex/Foo2",
+    "Ex/CoreHaskell"
     ];