
diff -r 98c006a30218 -r abcd15369ffa src/HOL/Inductive.thy
--- a/src/HOL/Inductive.thy	Thu Oct 04 19:54:44 2007 +0200
+++ b/src/HOL/Inductive.thy	Thu Oct 04 19:54:46 2007 +0200
@@ -17,7 +17,6 @@
   ("Tools/datatype_abs_proofs.ML")
   ("Tools/datatype_case.ML")
   ("Tools/datatype_package.ML")
-  ("Tools/datatype_codegen.ML")
   ("Tools/primrec_package.ML")
 begin
 
@@ -108,8 +107,6 @@
 use "Tools/datatype_package.ML"
 setup DatatypePackage.setup
 use "Tools/primrec_package.ML"
-use "Tools/datatype_codegen.ML"
-setup DatatypeCodegen.setup
 
 use "Tools/inductive_codegen.ML"
 setup InductiveCodegen.setup




