# HG changeset patch
# User wenzelm
# Date 1005844848 -3600
# Node ID 5efe7b6874fd8895965f7846408ef16899f8cb09
# Parent  4dff931b852fd37a3f58e23f63ed3c05142a15d7
setup DatatypeTactics.setup;

diff -r 4dff931b852f -r 5efe7b6874fd src/ZF/Inductive.thy
--- 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