src/HOL/ex/mesontest2.ML
Wed, 11 Jul 2007 11:51:15 +0200 berghofe Reverted renaming of "member".
Wed, 07 Feb 2007 18:12:58 +0100 berghofe Renamed member to memb to avoid confusion with member function
Sun, 10 Dec 2006 15:30:35 +0100 wenzelm avoid internal name O_;
Tue, 26 Sep 2006 13:34:16 +0200 haftmann renamed 0 and 1 to HOL.zero and HOL.one respectivly; introduced corresponding syntactic classes
Fri, 17 Mar 2006 09:34:23 +0100 haftmann renamed op < <= to Orderings.less(_eq)
Fri, 10 Mar 2006 15:33:48 +0100 haftmann renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc.
Fri, 20 May 2005 18:34:14 +0200 paulson converted some problems to Isar format
Thu, 07 Apr 2005 09:25:33 +0200 wenzelm reverted renaming of Some/None in comments and strings;
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Mon, 22 Nov 2004 11:54:08 +0100 nipkow fixed proof
Mon, 15 Nov 2004 12:13:14 +0100 paulson Renamed some variables to eliminate conflicts with constants.
Wed, 08 Oct 2003 15:57:41 +0200 paulson Merging of ex/cla.ML and ex/mesontest.ML to ex/Classical.thy
Thu, 04 Sep 2003 11:16:19 +0200 paulson quantifier symbols
Wed, 25 Jul 2001 13:13:01 +0200 paulson partial restructuring to reduce dependence on Axiom of Choice
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