--- a/Nominal/ROOT.ML	Wed Mar 17 15:13:31 2010 +0100
+++ b/Nominal/ROOT.ML	Wed Mar 17 17:10:19 2010 +0100
@@ -5,6 +5,14 @@
     "Nominal2_Eqvt",
     "Nominal2_Atoms",
     "Nominal2_Supp",
+    "Test"]
+
+(*
+no_document use_thys
+   ["Nominal2_Base",
+    "Nominal2_Eqvt",
+    "Nominal2_Atoms",
+    "Nominal2_Supp",
     "Test",
     "Term1",
     "Term2",
@@ -17,3 +25,4 @@
     "Term9",
     "TySch",
     "LFex"];
+*)
\ No newline at end of file