--- a/src/HOL/HOL.thy Fri Jan 06 15:18:19 2006 +0100
+++ b/src/HOL/HOL.thy Fri Jan 06 15:18:20 2006 +0100
@@ -1194,7 +1194,7 @@
use "~~/src/Provers/eqsubst.ML";
use "eqrule_HOL_data.ML";
-setup EQSubstTac.setup
+setup EqSubst.setup
subsubsection {* Code generator setup *}