--- a/Nominal/ROOT.ML	Wed May 12 16:33:50 2010 +0100
+++ b/Nominal/ROOT.ML	Wed May 12 16:59:53 2010 +0100
@@ -14,6 +14,6 @@
     "Ex/ExPS3",
     "Ex/ExPS7",
     "Ex/CoreHaskell",
-    "Ex/Test",
-    "Manual/Term4"
+    "Ex/Test"(*,
+    "Manual/Term4"*)
     ];