Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/datatype_codegen.ML
changeset 18386 e6240d62a7e6
parent 18379 87cb7e641ba5
child 18451 5ff0244e25e8 
--- a/src/HOL/Tools/datatype_codegen.ML	Mon Dec 12 15:37:05 2005 +0100
+++ b/src/HOL/Tools/datatype_codegen.ML	Mon Dec 12 15:37:35 2005 +0100
@@ -356,8 +356,6 @@
     ("datatype", CodegenPackage.defgen_datatype get_datatype get_datacons),
   CodegenPackage.add_defgen
     ("datacons", CodegenPackage.defgen_datacons get_datacons),
-  CodegenPackage.add_defgen
-    ("dataeq", CodegenPackage.defgen_datatype_eqinst get_datatype),
   CodegenPackage.add_appgen
     ("case", CodegenPackage.appgen_case get_case_const_data)
 ];
isabelle