src/HOL/Tools/datatype_aux.ML
changeset 18319 c52b139ebde0
parent 18314 4595eb4627fa
child 18349 58de95a16d3c
     1.1 --- a/src/HOL/Tools/datatype_aux.ML	Thu Dec 01 18:37:39 2005 +0100
     1.2 +++ b/src/HOL/Tools/datatype_aux.ML	Thu Dec 01 18:39:08 2005 +0100
     1.3 @@ -183,6 +183,7 @@
     1.4  type datatype_info =
     1.5    {index : int,
     1.6     descr : descr,
     1.7 +   sorts : (string * sort) list,
     1.8     rec_names : string list,
     1.9     rec_rewrites : thm list,
    1.10     case_name : string,