src/HOL/Tools/datatype_prop.ML
2000-06-13 wenzelm 2000-06-13 rename @case to _case_syntax (improves on low-level errors);
2000-03-28 nipkow 2000-03-28 added weak_case_cong feature
2000-03-13 wenzelm 2000-03-13 use HOLogic.Not; export indexify_names;
1999-10-04 wenzelm 1999-10-04 eliminated ap/app;
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;
1998-10-20 wenzelm 1998-10-20 fixed Syntax module;
1998-09-26 berghofe 1998-09-26 Package now chooses type variable names more carefully to avoid clashes with user-supplied type variable names.
1998-07-24 berghofe 1998-07-24 New datatype definition package