# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1328284067 0
# Node ID 6968fd7507ded604d8082452424386e50c01cf9d
# Parent  f4112721a4b9e41cde245802c147db5bda3b3492
added FROOT

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"
+   ];
+
+
+