--- a/Nominal/FROOT.ML	Mon Oct 14 11:23:18 2013 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-
-
-no_document use_thys
-   ["Nominal2",
-    "Atoms",
-    "Eqvt"
-   ];
-
-
-