diff -r 76d4d66309bd -r 8c3cf9f4f5f2 Nominal/ROOT.ML
--- a/Nominal/ROOT.ML	Thu Feb 25 12:32:15 2010 +0100
+++ b/Nominal/ROOT.ML	Thu Feb 25 14:14:08 2010 +0100
@@ -5,4 +5,15 @@
     "Nominal2_Eqvt",
     "Nominal2_Atoms",
     "Nominal2_Supp",
-    "Test"];
+    "Test",
+    "Term1",
+    "Term2",
+    "Term3",
+    "Term4",
+    "Term5",
+    "Term6",
+    "Term7",
+    "Term8",
+    "Term9",
+    "TySch",
+    "LFex"];