| 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
|