diff -r 6d140b2c751f -r f7aca5601279 Nominal/ROOT.ML
--- a/Nominal/ROOT.ML	Thu Feb 25 14:20:10 2010 +0100
+++ b/Nominal/ROOT.ML	Thu Feb 25 14:20:40 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"];