diff -r ac7dff1194e8 -r 3a5ebb2fcdbf Nominal/ROOT.ML
--- a/Nominal/ROOT.ML	Mon Sep 20 21:52:45 2010 +0800
+++ b/Nominal/ROOT.ML	Wed Sep 22 14:19:48 2010 +0800
@@ -3,10 +3,11 @@
 no_document use_thys
    ["Ex/Classical",    
     "Ex/CoreHaskell",
+     Ex/Datatypes",
     "Ex/Ex1",
     "Ex/ExPS3",
-    "Ex/ExPS7",
-    "Ex/ExPS8",
+    "Ex/Multi_Recs",
+    "Ex/Multi_Recs2",
     "Ex/LF",
     "Ex/Lambda",
     "Ex/Let",