Tuned comment.
authorberghofe
Fri Jul 22 11:55:11 2005 +0200 (2005-07-22)
changeset 16901d649ff14096a
parent 16900 e294033d1c0f
child 16902 1cc75f32a2fd
Tuned comment.
src/HOL/Tools/datatype_aux.ML
     1.1 --- a/src/HOL/Tools/datatype_aux.ML	Fri Jul 22 11:54:29 2005 +0200
     1.2 +++ b/src/HOL/Tools/datatype_aux.ML	Fri Jul 22 11:55:11 2005 +0200
     1.3 @@ -175,7 +175,7 @@
     1.4  
     1.5  (* information about datatypes *)
     1.6  
     1.7 -(* index, datatype name, type arguments (DtTFree's), constructor name, types of constructor's arguments *)
     1.8 +(* index, datatype name, type arguments, constructor name, types of constructor's arguments *)
     1.9  type descr = (int * (string * dtyp list * (string * dtyp list) list)) list;
    1.10  
    1.11  type datatype_info =