src/HOL/Tools/datatype_hooks.ML
2007-05-07 wenzelm 2007-05-07 simplified DataFun interfaces;
2006-11-08 haftmann 2006-11-08 renamed DatatypeHooks.invoke to all
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