src/HOL/Inductive.thy

 theory Inductive 
 imports Complete_Lattice
 uses
   ("Tools/inductive.ML")
   "Tools/dseq.ML"
-  ("Tools/inductive_codegen.ML")
   "Tools/Datatype/datatype_aux.ML"
   "Tools/Datatype/datatype_prop.ML"
   "Tools/Datatype/datatype_case.ML"
   ("Tools/Datatype/datatype_abs_proofs.ML")
   ("Tools/Datatype/datatype_data.ML")

 setup Datatype_Codegen.setup
 
 use "Tools/old_primrec.ML"
 use "Tools/primrec.ML"
 
-use "Tools/inductive_codegen.ML"
-setup InductiveCodegen.setup
-
 text{* Lambda-abstractions with pattern matching: *}
 
 syntax
   "_lam_pats_syntax" :: "cases_syn => 'a => 'b"               ("(%_)" 10)
 syntax (xsymbols)