diff -r 2b367c80c0d7 -r 5ab97f43ec24 Nominal/ROOT.ML
--- a/Nominal/ROOT.ML	Tue Mar 23 09:21:43 2010 +0100
+++ b/Nominal/ROOT.ML	Tue Mar 23 09:34:32 2010 +0100
@@ -5,24 +5,17 @@
     "Nominal2_Eqvt",
     "Nominal2_Atoms",
     "Nominal2_Supp",
-    "Test"]
-
-(*
-no_document use_thys
-   ["Nominal2_Base",
-    "Nominal2_Eqvt",
-    "Nominal2_Atoms",
-    "Nominal2_Supp",
-    "Test",
-    "Term1",
-    "Term2",
-    "Term3",
-    "Term4",
-    "Term5",
-    "Term6",
-    "Term7",
-    "Term8",
-    "Term9",
-    "TySch",
-    "LFex"];
-*)
\ No newline at end of file
+    "ExLam",
+    "ExLF",
+    "Ex1",
+    "Ex1rec",
+    "Ex2",
+    "Ex3",
+    "ExLet",
+    "ExLetRec",
+    "ExTySch",
+    "ExLeroy"
+(*  "ExCoreHaskell", *)
+(*  "ExPS3", *)
+(*  "ExPS6", *)
+    ];