src/HOL/ex/mesontest2.ML
2000-10-12 nipkow 2000-10-12 *** empty log message ***
2000-09-05 paulson 2000-09-05 safe_meson_tac -> meson_tac
2000-05-30 wenzelm 2000-05-30 cleaned up;
2000-03-23 paulson 2000-03-23 restored the MESON examples file HOL/ex/mesontest2.ML
1997-12-19 wenzelm 1997-12-19 tuned;
1997-06-17 nipkow 1997-06-17 converse -> ^-1
1996-10-07 paulson 1996-10-07 New comment in header
1996-07-26 paulson 1996-07-26 Removed clash with "range" constant
1996-05-10 paulson 1996-05-10 Corrected and augmented timings
1996-05-06 paulson 1996-05-06 Updated timings; more theorems can be proved
1996-05-03 paulson 1996-05-03 Extra examples for safe_meson_tac