--- a/Nominal/ROOT.ML	Thu Apr 08 14:18:38 2010 +0200
+++ b/Nominal/ROOT.ML	Fri Apr 09 11:08:05 2010 +0200
@@ -1,7 +1,7 @@
 quick_and_dirty := true;
 
 no_document use_thys
-   ["Ex/ExLam",
+   ["Ex/Lambda",
     "Ex/ExLF",
     "Ex/Ex1",
     "Ex/Ex1rec",