--- a/Nominal/ROOT.ML	Thu Sep 22 11:42:55 2011 +0200
+++ b/Nominal/ROOT.ML	Thu Nov 03 13:19:23 2011 +0000
@@ -4,8 +4,8 @@
    ["Atoms",
     "Eqvt",
     "Ex/Weakening",
-    (*"Ex/Classical",*)    
-    "Ex/Datatypes",
+    "Ex/Classical",
+    (*"Ex/Datatypes",*)
     "Ex/Ex1",
     "Ex/ExPS3",
     "Ex/Multi_Recs",
@@ -22,7 +22,7 @@
     "Ex/Shallow",
     "Ex/SystemFOmega",
     "Ex/TypeSchemes",
-    "Ex/TypeVarsTest",
+    (*"Ex/TypeVarsTest",*)
     "Ex/Foo1",
     "Ex/Foo2",
     "Ex/CoreHaskell",