src/HOL/Tools/datatype_codegen.ML
changeset 18963 3adfc9dfb30a
parent 18866 378c0cb028a8
child 19008 14c1b2f5dda4
     1.1 --- a/src/HOL/Tools/datatype_codegen.ML	Mon Feb 06 21:02:01 2006 +0100
     1.2 +++ b/src/HOL/Tools/datatype_codegen.ML	Tue Feb 07 08:47:43 2006 +0100
     1.3 @@ -300,12 +300,10 @@
     1.4  val setup =
     1.5    add_codegen "datatype" datatype_codegen #>
     1.6    add_tycodegen "datatype" datatype_tycodegen #>
     1.7 -  CodegenPackage.set_is_datatype
     1.8 -    DatatypePackage.is_datatype #>
     1.9 +  CodegenPackage.set_get_datatype
    1.10 +    DatatypePackage.get_datatype #>
    1.11    CodegenPackage.set_get_all_datatype_cons
    1.12      DatatypePackage.get_all_datatype_cons #>
    1.13 -  CodegenPackage.set_defgen_datatype
    1.14 -    (CodegenPackage.defgen_datatype_proto DatatypePackage.get_datatype DatatypePackage.get_datatype_cons) #>
    1.15    CodegenPackage.ensure_datatype_case_consts
    1.16      DatatypePackage.get_datatype_case_consts
    1.17      DatatypePackage.get_case_const_data;