improvement in eq handling
authorhaftmann
Mon Dec 12 15:37:35 2005 +0100 (2005-12-12)
changeset 18386e6240d62a7e6
parent 18385 d0071d93978e
child 18387 90b2b2fd3fdf
improvement in eq handling
src/HOL/Tools/datatype_codegen.ML
     1.1 --- a/src/HOL/Tools/datatype_codegen.ML	Mon Dec 12 15:37:05 2005 +0100
     1.2 +++ b/src/HOL/Tools/datatype_codegen.ML	Mon Dec 12 15:37:35 2005 +0100
     1.3 @@ -356,8 +356,6 @@
     1.4      ("datatype", CodegenPackage.defgen_datatype get_datatype get_datacons),
     1.5    CodegenPackage.add_defgen
     1.6      ("datacons", CodegenPackage.defgen_datacons get_datacons),
     1.7 -  CodegenPackage.add_defgen
     1.8 -    ("dataeq", CodegenPackage.defgen_datatype_eqinst get_datatype),
     1.9    CodegenPackage.add_appgen
    1.10      ("case", CodegenPackage.appgen_case get_case_const_data)
    1.11  ];