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