--- a/Nominal/ROOT.ML	Wed May 19 12:44:03 2010 +0100
+++ b/Nominal/ROOT.ML	Thu May 20 21:23:53 2010 +0100
@@ -14,6 +14,6 @@
     "Ex/ExPS3",
     "Ex/ExPS7",
     "Ex/CoreHaskell",
-    "Ex/Test",
-    "Manual/Term4"
+    "Ex/Test"(*,
+    "Manual/Term4"*)
     ];