--- a/Nominal/ROOT.ML	Sun May 16 11:00:44 2010 +0100
+++ b/Nominal/ROOT.ML	Sun May 16 12:41:27 2010 +0100
@@ -13,7 +13,7 @@
     "Ex/Modules",
     "Ex/ExPS3",
     "Ex/ExPS7",
-    (*"Ex/CoreHaskell",*)
+    "Ex/CoreHaskell",
     "Ex/Test",
     "Manual/Term4"
     ];