src/HOL/Tools/datatype_aux.ML
2000-03-13 wenzelm 2000-03-13 adapted to new PureThy.add_thms etc.; added store_thms_atts;
2000-03-10 wenzelm 2000-03-10 type descr;
2000-03-01 wenzelm 2000-03-01 tuned;
2000-02-27 wenzelm 2000-02-27 HOLogic.dest_conj;
1999-07-16 berghofe 1999-07-16 - Datatype package now also supports arbitrarily branching datatypes (using function types). - Added new simplification procedure for proving distinctness of constructors. - dtK is now a reference.
1999-03-17 wenzelm 1999-03-17 Theory.sign_of;
1999-01-12 wenzelm 1999-01-12 eliminated tthm type and Attribute structure;
1998-11-16 wenzelm 1998-11-16 Attribute.tthms_of;
1998-10-16 berghofe 1998-10-16 - Changed structure of name spaces - Proofs for datatypes with unneeded parameters are working now - added additional parameter flat_names - added quiet_mode flag
1998-07-24 berghofe 1998-07-24 New datatype definition package