--- a/src/HOL/Inductive.thy Sun May 06 21:50:17 2007 +0200
+++ b/src/HOL/Inductive.thy Mon May 07 00:49:59 2007 +0200
@@ -118,7 +118,6 @@
use "Tools/datatype_realizer.ML"
use "Tools/datatype_hooks.ML"
-setup DatatypeHooks.setup
use "Tools/datatype_package.ML"
setup DatatypePackage.setup