| Mon, 11 Jun 2007 11:06:17 +0200 | chaieb | Temporarily added theorems for QE that were in old Presburger.thy ; This will diseappear with the new Ferrante and Rackoff shortly; | file | diff | annotate |
| Thu, 10 May 2007 22:11:37 +0200 | haftmann | cleaned up | file | diff | annotate |
| Thu, 10 May 2007 10:21:46 +0200 | haftmann | localized Min/Max | file | diff | annotate |
| Wed, 20 Sep 2006 07:42:12 +0200 | huffman | add header | file | diff | annotate |
| Tue, 16 May 2006 13:01:22 +0200 | wenzelm | added Ferrante and Rackoff Algorithm -- by Amine Chaieb; | file | diff | annotate |