src/HOL/Tools/datatype_package/datatype_abs_proofs.ML
2009-06-21 haftmann 2009-06-21 simplified names of common datatype types
2009-06-19 haftmann 2009-06-19 discontinued ancient tradition to suffix certain ML module names with "_package"
2009-06-16 haftmann 2009-06-16 datatype packages: record datatype_config for configuration flags; less verbose signatures
2009-06-10 haftmann 2009-06-10 separate directory for datatype package