src/HOL/Tools/Datatype/datatype_abs_proofs.ML
2009-10-17 wenzelm 2009-10-17 operations of structure Skip_Proof (formerly SkipProof) no longer require quick_and_dirty mode;
2009-10-15 wenzelm 2009-10-15 replaced String.concat by implode; replaced String.concatWith by space_implode; replaced (Seq.flat o Seq.map) by Seq.maps; replaced List.mapPartial by map_filter; replaced List.concat by flat; replaced (flat o map) by maps, which produces less garbage;
2009-10-13 haftmann 2009-10-13 more appropriate abstraction over distinctness rules
2009-10-12 haftmann 2009-10-12 less non-standard combinators
2009-10-12 haftmann 2009-10-12 nth replaces List.nth
2009-09-28 haftmann 2009-09-28 shared code between rep_datatype and datatype
2009-07-21 haftmann 2009-07-21 dropped ancient flat_names option
2009-07-02 wenzelm 2009-07-02 renamed NamedThmsFun to Named_Thms; simplified/unified names of instances of Named_Thms;
2009-06-23 haftmann 2009-06-23 uniformly capitialized names for subdirectories