diff -r 48c2eb84d5ce -r c0eac04ae3b4 Nominal/ROOT.ML
--- a/Nominal/ROOT.ML	Sat Apr 03 21:53:04 2010 +0200
+++ b/Nominal/ROOT.ML	Sat Apr 03 22:31:11 2010 +0200
@@ -5,19 +5,19 @@
     "Nominal2_Eqvt",
     "Nominal2_Atoms",
     "Nominal2_Supp",
-    "ExLam",
-    "ExLF",
-    "Ex1",
-    "Ex1rec",
-    "Ex2",
-    "Ex3",
-    "ExLet",
-    "ExLetRec",
-    "ExTySch",
-    "ExLeroy",
-    "ExPS3",
-    "ExPS7",
-    "ExCoreHaskell",
-    "Test"
-(*  "ExPS6", *)
+    "Ex/ExLam",
+    "Ex/ExLF",
+    "Ex/Ex1",
+    "Ex/Ex1rec",
+    "Ex/Ex2",
+    "Ex/Ex3",
+    "Ex/ExLet",
+    "Ex/ExLetRec",
+    "Ex/ExTySch",
+    "Ex/ExLeroy",
+    "Ex/ExPS3",
+    "Ex/ExPS7",
+    "Ex/ExCoreHaskell",
+    "Ex/Test"
+(*  "Ex/ExPS6", *)
     ];