--- a/Nominal/ROOT.ML	Mon May 10 15:44:49 2010 +0200
+++ b/Nominal/ROOT.ML	Mon May 10 15:45:04 2010 +0200
@@ -2,7 +2,7 @@
 
 no_document use_thys
    ["Ex/Lambda",
-    "Ex/ExLF",
+    "Ex/LF",
     "Ex/SingleLet",
     "Ex/Ex1rec",
     "Ex/Ex2",
@@ -10,10 +10,10 @@
     "Ex/ExLet",
     "Ex/ExLetRec",
     "Ex/TypeSchemes",
-    "Ex/ExLeroy",
+    "Ex/Modules",
     "Ex/ExPS3",
     "Ex/ExPS7",
-    "Ex/ExCoreHaskell",
+    "Ex/CoreHaskell",
     "Ex/Test",
     "Manual/Term4"
     ];