--- a/src/ZF/Inductive.thy Thu Nov 15 18:20:13 2001 +0100 +++ b/src/ZF/Inductive.thy Thu Nov 15 18:20:48 2001 +0100 @@ -16,6 +16,6 @@ "Tools/primrec_package.ML": setup IndCases.setup -setup induct_tacs_setup +setup DatatypeTactics.setup end