src/HOL/Tools/datatype_package/datatype_rep_proofs.ML
2009-06-16 haftmann 2009-06-16 datatype packages: record datatype_config for configuration flags; less verbose signatures
2009-06-15 haftmann 2009-06-15 authentic syntax for Pow and image
2009-06-10 haftmann 2009-06-10 separate directory for datatype package