src/HOL/Tools/datatype_hooks.ML
2006-07-21 haftmann 2006-07-21 hooks now take string list as arguments (mutual datatypes); some nice combinators in datatype_codegen
2006-06-21 haftmann 2006-06-21 renamed thy data
2006-05-09 haftmann 2006-05-09 added DatatypeHooks