src/HOL/Tools/datatype_codegen.ML

     DatatypePackage.is_datatype,
   CodegenPackage.set_get_all_datatype_cons
     DatatypePackage.get_all_datatype_cons,
   CodegenPackage.add_defgen
     ("datatype", CodegenPackage.defgen_datatype DatatypePackage.get_datatype DatatypePackage.get_datatype_cons),
-  CodegenPackage.add_defgen
-    ("datacons", CodegenPackage.defgen_datacons DatatypePackage.get_datatype_cons),
   CodegenPackage.ensure_datatype_case_consts
     DatatypePackage.get_datatype_case_consts
     DatatypePackage.get_case_const_data
 ];