--- a/src/HOL/Inductive.thy Tue Sep 18 07:36:38 2007 +0200
+++ b/src/HOL/Inductive.thy Tue Sep 18 07:46:00 2007 +0200
@@ -18,7 +18,6 @@
("Tools/datatype_rep_proofs.ML")
("Tools/datatype_abs_proofs.ML")
("Tools/datatype_realizer.ML")
- ("Tools/datatype_hooks.ML")
("Tools/datatype_case.ML")
("Tools/datatype_package.ML")
("Tools/datatype_codegen.ML")
@@ -111,8 +110,6 @@
use "Tools/datatype_case.ML"
use "Tools/datatype_realizer.ML"
-use "Tools/datatype_hooks.ML"
-
use "Tools/datatype_package.ML"
setup DatatypePackage.setup