--- a/Nominal/ROOT.ML	Thu Apr 08 11:52:05 2010 +0200
+++ b/Nominal/ROOT.ML	Thu Apr 08 13:04:49 2010 +0200
@@ -9,7 +9,7 @@
     "Ex/Ex3",
     "Ex/ExLet",
     "Ex/ExLetRec",
-    "Ex/ExTySch",
+    "Ex/TypeSchemes",
     "Ex/ExLeroy",
     "Ex/ExPS3",
     "Ex/ExPS7",