diff -r f435d8efd751 -r 24ca435ead14 Nominal/ROOT.ML
--- a/Nominal/ROOT.ML	Thu May 13 07:41:18 2010 +0200
+++ b/Nominal/ROOT.ML	Thu May 13 10:34:59 2010 +0100
@@ -14,6 +14,6 @@
     "Ex/ExPS3",
     "Ex/ExPS7",
     "Ex/CoreHaskell",
-    "Ex/Test"(*,
-    "Manual/Term4"*)
+    "Ex/Test",
+    "Manual/Term4"
     ];