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