--- a/src/FOL/FOL.thy Fri Jan 06 15:18:19 2006 +0100
+++ b/src/FOL/FOL.thy Fri Jan 06 15:18:20 2006 +0100
@@ -52,7 +52,7 @@
use "~~/src/Provers/eqsubst.ML";
use "eqrule_FOL_data.ML";
-setup EQSubstTac.setup
+setup EqSubst.setup
subsection {* Other simple lemmas *}