src/HOL/ex/meson.ML
1997-11-05 paulson 1997-11-05 Ran expandshort, especially to introduce Safe_tac
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-07-22 paulson 1997-07-22 Removal of the tactical STATE
1997-03-05 paulson 1997-03-05 Renamed constant "not" to "Not"
1996-09-26 paulson 1996-09-26 Ran expandshort
1996-06-21 berghofe 1996-06-21 Classical tactics now use default claset.
1996-05-24 paulson 1996-05-24 Augmented comment about conversion to clauses
1996-03-21 paulson 1996-03-21 Now labels the Horn and goal clauses to make the proof objects more readable
1996-03-15 paulson 1996-03-15 New safe_meson_tac uses iterative deepening
1996-02-16 paulson 1996-02-16 Elimination of fully-functorial style. Type tactic changed to a type abbrevation (from a datatype). Constructor tactic and function apply deleted.
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-03-22 clasohm 1995-03-22 converted ex with curried function application