--- a/Nominal/FROOT.ML	Sat May 12 22:21:25 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-
-
-no_document use_thys
-   ["Nominal2",
-    "Atoms",
-    "Eqvt"
-   ];
-
-
-