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 |