src/HOL/Tools/datatype_hooks.ML
2006-05-09 haftmann 2006-05-09 added DatatypeHooks