src/HOL/Tools/datatype_codegen.ML
changeset 20855 9f60d493c8fe
parent 20835 27d049062b56
child 21012 f08574148b7a
     1.1 --- a/src/HOL/Tools/datatype_codegen.ML	Wed Oct 04 14:17:38 2006 +0200
     1.2 +++ b/src/HOL/Tools/datatype_codegen.ML	Wed Oct 04 14:17:46 2006 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4      ID:         $Id$
     1.5      Author:     Stefan Berghofer & Florian Haftmann, TU Muenchen
     1.6  
     1.7 -Code generator for inductive datatypes and type copies ("code types").
     1.8 +Code generator for inductive datatypes.
     1.9  *)
    1.10  
    1.11  signature DATATYPE_CODEGEN =