Tue, 11 May 2004 20:11:08 +0200 | changes made due to new Ring_and_Field theory | file | diff | annotate |
Fri, 16 Apr 2004 04:07:10 +0200 | tuned document; | file | diff | annotate |
Thu, 25 Mar 2004 10:32:21 +0100 | new material from Avigad | file | diff | annotate |
Tue, 10 Feb 2004 12:02:11 +0100 | generic of_nat and of_int functions, and generalization of iszero | file | diff | annotate |
Mon, 12 Jan 2004 16:51:45 +0100 | Added lemmas to Ring_and_Field with slightly modified simplification rules | file | diff | annotate |
Wed, 03 Dec 2003 10:49:34 +0100 | Simplification of the development of Integers | file | diff | annotate |
Tue, 05 Aug 2003 17:57:39 +0200 | cleaned up | file | diff | annotate |
Tue, 25 Mar 2003 09:47:05 +0100 | New decision procedure for Presburger arithmetic. | file | diff | annotate |