| Mon, 02 Feb 2009 09:01:14 +0100 |
haftmann |
updated class documentation
|
file |
diff |
annotate
|
| Thu, 03 Jan 2008 10:27:40 +0100 |
chaieb |
Tuned (type information in Lemmas)
|
file |
diff |
annotate
|
| Wed, 22 Aug 2007 17:13:40 +0200 |
chaieb |
imports Presburger; no need for Main
|
file |
diff |
annotate
|
| Thu, 21 Jun 2007 17:28:50 +0200 |
wenzelm |
renamed NatSimprocs.thy to Arith_Tools.thy;
|
file |
diff |
annotate
|
| Mon, 11 Jun 2007 11:06:23 +0200 |
chaieb |
Added more examples
|
file |
diff |
annotate
|
| Thu, 21 Sep 2006 19:04:12 +0200 |
wenzelm |
updated timings;
|
file |
diff |
annotate
|
| Thu, 08 Jun 2006 13:49:53 +0200 |
nipkow |
added John's example
|
file |
diff |
annotate
|
| Wed, 14 Sep 2005 22:08:08 +0200 |
wenzelm |
tuned headers etc.;
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Thu, 22 Jul 2004 19:33:12 +0200 |
webertj |
minor formatting fixes
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Wed, 19 May 2004 11:23:59 +0200 |
chaieb |
A new implementation for presburger arithmetic following the one suggested in technical report Chaieb Amine and Tobias Nipkow. It is generic an smaller.
|
file |
diff |
annotate
|
| Mon, 12 Jan 2004 16:51:45 +0100 |
paulson |
Added lemmas to Ring_and_Field with slightly modified simplification rules
|
file |
diff |
annotate
|
| Tue, 25 Mar 2003 09:50:53 +0100 |
berghofe |
Added examples for Presburger arithmetic.
|
file |
diff |
annotate
|