src/HOL/Tools/Datatype/datatype_realizer.ML
2010-03-07 wenzelm 2010-03-07 modernized structure Object_Logic;
2010-02-25 wenzelm 2010-02-25 more antiquotations;
2009-11-30 haftmann 2009-11-30 dropped some unused bindings
2009-11-30 haftmann 2009-11-30 modernized structures and tuned headers of datatype package modules; joined former datatype.ML and datatype_rep_proofs.ML
2009-10-29 wenzelm 2009-10-29 eliminated some old folds;
2009-10-21 wenzelm 2009-10-21 standardized basic operations on type option;
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-09-28 haftmann 2009-09-28 avoid compound fields in datatype info record
2009-09-27 haftmann 2009-09-27 registering split rules and projected induction rules; ML identifiers more close to Isar theorem names
2009-07-16 wenzelm 2009-07-16 eliminated legacy_varify;
2009-06-23 haftmann 2009-06-23 tuned interfaces of datatype module
2009-06-23 haftmann 2009-06-23 uniformly capitialized names for subdirectories