src/HOL/ex/mesontest.ML
1997-03-04 paulson 1997-03-04 Updated reference to Pelletier erratum
1997-02-14 paulson 1997-02-14 Tidying and a corrected comment
1997-01-31 paulson 1997-01-31 Correction to Problem 24
1996-10-07 paulson 1996-10-07 New comment in header
1996-09-26 paulson 1996-09-26 Ran expandshort
1996-05-03 paulson 1996-05-03 updated comments for handling derivations
1996-03-21 paulson 1996-03-21 Examples call gocls to make goal clauses
1996-03-15 paulson 1996-03-15 New safe_meson_tac proves some harder theorems
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-12-14 paulson 1995-12-14 Added Pelletier's problem 62, as corrected in AAR Newletter #31
1995-09-26 paulson 1995-09-26 added new example by John Harrison
1995-03-22 clasohm 1995-03-22 converted ex with curried function application