diff -r f4112721a4b9 -r 6968fd7507de Nominal/FROOT.ML
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Nominal/FROOT.ML	Fri Feb 03 15:47:47 2012 +0000
@@ -0,0 +1,10 @@
+
+
+no_document use_thys
+   ["Nominal2",
+    "Atoms",
+    "Eqvt"
+   ];
+
+
+