--- a/Nominal/ROOT.ML	Thu Nov 03 13:19:23 2011 +0000
+++ b/Nominal/ROOT.ML	Mon Nov 07 13:58:18 2011 +0000
@@ -5,7 +5,7 @@
     "Eqvt",
     "Ex/Weakening",
     "Ex/Classical",
-    (*"Ex/Datatypes",*)
+    "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",