| Wed, 28 Sep 2005 11:14:26 +0200 |
paulson |
new lemma
|
file |
diff |
annotate
|
| Tue, 16 Aug 2005 18:53:11 +0200 |
paulson |
more simprules now have names
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Wed, 27 Apr 2005 16:39:59 +0200 |
paulson |
tidied
|
file |
diff |
annotate
|
| Mon, 21 Feb 2005 15:04:10 +0100 |
nipkow |
comprehensive cleanup, replacing sumr by setsum
|
file |
diff |
annotate
|
| Fri, 14 Jan 2005 12:00:27 +0100 |
nipkow |
made diff_less a simp rule
|
file |
diff |
annotate
|
| Mon, 13 Dec 2004 15:06:59 +0100 |
paulson |
removal of NatArith.ML and Product_Type.ML
|
file |
diff |
annotate
|
| Wed, 18 Aug 2004 11:09:40 +0200 |
nipkow |
import -> imports
|
file |
diff |
annotate
|
| Mon, 16 Aug 2004 14:22:27 +0200 |
nipkow |
New theory header syntax.
|
file |
diff |
annotate
|
| Thu, 15 Jul 2004 15:39:40 +0200 |
nipkow |
more syntax
|
file |
diff |
annotate
|
| Tue, 13 Jul 2004 12:32:01 +0200 |
nipkow |
Got rid of Summation and made it a translation into setsum instead.
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Fri, 16 Apr 2004 21:00:36 +0200 |
wenzelm |
tuned document;
|
file |
diff |
annotate
|
| Fri, 26 Sep 2003 10:34:57 +0200 |
paulson |
misc tidying
|
file |
diff |
annotate
|
| Tue, 13 Aug 2002 21:57:15 +0200 |
nipkow |
Counter example generation mods.
|
file |
diff |
annotate
|
| Thu, 04 Jul 2002 16:48:21 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 03 Oct 2001 20:54:16 +0200 |
wenzelm |
tuned parentheses in relational expressions;
|
file |
diff |
annotate
|
| Wed, 25 Jul 2001 17:58:26 +0200 |
paulson |
Hilbert restructuring: Wellfounded_Relations no longer needs Hilbert_Choice
|
file |
diff |
annotate
|
| Tue, 22 May 2001 09:26:57 +0200 |
paulson |
nat_diff_split_asm, for the assumptions
|
file |
diff |
annotate
|
| Fri, 23 Feb 2001 16:31:21 +0100 |
oheimb |
renamed addaltern to addafter, addSaltern to addSafter
|
file |
diff |
annotate
|
| Tue, 20 Feb 2001 18:47:25 +0100 |
oheimb |
added add_arith (just as hint by now)
|
file |
diff |
annotate
|
| Wed, 06 Dec 2000 10:23:06 +0100 |
paulson |
miniscoping of nat_diff_split
|
file |
diff |
annotate
|
| Fri, 13 Oct 2000 08:28:21 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|