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