| Fri, 16 Apr 2004 04:07:10 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Thu, 25 Mar 2004 10:32:21 +0100 | paulson | new material from Avigad | file | diff | annotate |
| Tue, 10 Feb 2004 12:02:11 +0100 | paulson | generic of_nat and of_int functions, and generalization of iszero | 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 |
| Wed, 03 Dec 2003 10:49:34 +0100 | paulson | Simplification of the development of Integers | file | diff | annotate |
| Tue, 05 Aug 2003 17:57:39 +0200 | nipkow | cleaned up | file | diff | annotate |
| Tue, 25 Mar 2003 09:47:05 +0100 | berghofe | New decision procedure for Presburger arithmetic. | file | diff | annotate |