--- a/Nominal/ROOT.ML	Fri Mar 26 10:55:13 2010 +0100
+++ b/Nominal/ROOT.ML	Fri Mar 26 16:20:39 2010 +0100
@@ -15,8 +15,9 @@
     "ExLetRec",
     "ExTySch",
     "ExLeroy",
+    "ExPS3",
+    "ExPS7",
+    "ExCoreHaskell",
     "Test"
-(*  "ExCoreHaskell", *)
-(*  "ExPS3", *)
 (*  "ExPS6", *)
     ];