src/HOL/Tools/datatype_aux.ML
changeset 15379 830239e6eb73
parent 14981 e73f8140af78
child 15531 08c8dad8e399
     1.1 --- a/src/HOL/Tools/datatype_aux.ML	Tue Dec 07 12:13:17 2004 +0100
     1.2 +++ b/src/HOL/Tools/datatype_aux.ML	Tue Dec 07 14:42:08 2004 +0100
     1.3 @@ -175,6 +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  type descr = (int * (string * dtyp list * (string * dtyp list) list)) list;
     1.9  
    1.10  type datatype_info =