--- a/src/HOL/Tools/datatype_codegen.ML Mon Feb 06 21:02:01 2006 +0100
+++ b/src/HOL/Tools/datatype_codegen.ML Tue Feb 07 08:47:43 2006 +0100
@@ -300,12 +300,10 @@
val setup =
add_codegen "datatype" datatype_codegen #>
add_tycodegen "datatype" datatype_tycodegen #>
- CodegenPackage.set_is_datatype
- DatatypePackage.is_datatype #>
+ CodegenPackage.set_get_datatype
+ DatatypePackage.get_datatype #>
CodegenPackage.set_get_all_datatype_cons
DatatypePackage.get_all_datatype_cons #>
- CodegenPackage.set_defgen_datatype
- (CodegenPackage.defgen_datatype_proto DatatypePackage.get_datatype DatatypePackage.get_datatype_cons) #>
CodegenPackage.ensure_datatype_case_consts
DatatypePackage.get_datatype_case_consts
DatatypePackage.get_case_const_data;