# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1328284315 0
# Node ID bd602eb894ab42efeb26cdb6b2e2b60db1ac8fba
# Parent  6968fd7507ded604d8082452424386e50c01cf9d# Parent  3748acdef916602bb1aa7ccd771a66b6169ec776
merged

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