src/HOL/Inductive.thy
changeset 22846 fb79144af9a3
parent 22783 e5f947e0ade8
child 22886 cdff6ef76009
     1.1 --- a/src/HOL/Inductive.thy	Sun May 06 21:50:17 2007 +0200
     1.2 +++ b/src/HOL/Inductive.thy	Mon May 07 00:49:59 2007 +0200
     1.3 @@ -118,7 +118,6 @@
     1.4  use "Tools/datatype_realizer.ML"
     1.5  
     1.6  use "Tools/datatype_hooks.ML"
     1.7 -setup DatatypeHooks.setup
     1.8  
     1.9  use "Tools/datatype_package.ML"
    1.10  setup DatatypePackage.setup