src/HOL/ex/mesontest2.ML
Fri, 10 Nov 2000 19:08:30 +0100 wenzelm proper theory context for mesontest2;
Thu, 12 Oct 2000 18:38:23 +0200 nipkow *** empty log message ***
Tue, 05 Sep 2000 10:16:03 +0200 paulson safe_meson_tac -> meson_tac
Tue, 30 May 2000 16:08:38 +0200 wenzelm cleaned up;
Thu, 23 Mar 2000 10:22:08 +0100 paulson restored the MESON examples file HOL/ex/mesontest2.ML
Fri, 19 Dec 1997 10:28:33 +0100 wenzelm tuned;
Tue, 17 Jun 1997 09:01:56 +0200 nipkow converse -> ^-1
Mon, 07 Oct 1996 10:35:47 +0200 paulson New comment in header
Fri, 26 Jul 1996 12:23:45 +0200 paulson Removed clash with "range" constant
Fri, 10 May 1996 17:41:10 +0200 paulson Corrected and augmented timings
Mon, 06 May 1996 10:44:43 +0200 paulson Updated timings; more theorems can be proved
Fri, 03 May 1996 17:35:13 +0200 paulson Extra examples for safe_meson_tac
less more (0) tip