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