--- a/Nominal/ROOT.ML	Tue May 04 17:15:21 2010 +0200
+++ b/Nominal/ROOT.ML	Tue May 04 17:25:58 2010 +0200
@@ -14,6 +14,6 @@
     "Ex/ExPS3",
     "Ex/ExPS7",
     "Ex/ExCoreHaskell",
-    "Ex/Test"
-(*  "Ex/ExPS6", *)
+    "Ex/Test",
+    "Manual/Term4"
     ];