src/HOL/ex/mesontest2.ML
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