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