# HG changeset patch
# User urbanc
# Date 1162392619 -3600
# Node ID 85fd05aaf73711bb7424f7de0a13b6549c459ec4
# Parent  07549f79d19c107d9941ca38eebe663279d3650c
tuned

diff -r 07549f79d19c -r 85fd05aaf737 src/HOL/Nominal/Examples/ROOT.ML
--- a/src/HOL/Nominal/Examples/ROOT.ML	Wed Nov 01 15:49:43 2006 +0100
+++ b/src/HOL/Nominal/Examples/ROOT.ML	Wed Nov 01 15:50:19 2006 +0100
@@ -11,6 +11,5 @@
 use_thy "Fsub";
 use_thy "Height";
 use_thy "Lambda_mu";
-use_thy "Recursion";
 use_thy "SN";
 use_thy "Weakening";