src/HOL/Presburger.thy
Wed, 18 Aug 2004 11:09:40 +0200 nipkow import -> imports
Mon, 16 Aug 2004 14:22:27 +0200 nipkow New theory header syntax.
Thu, 01 Jul 2004 12:29:53 +0200 paulson new treatment of binary numerals
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Mon, 14 Jun 2004 16:46:48 +0200 chaieb Oracle corrected
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.
Tue, 11 May 2004 20:11:08 +0200 obua changes made due to new Ring_and_Field theory
Fri, 16 Apr 2004 04:07:10 +0200 wenzelm tuned document;
Thu, 25 Mar 2004 10:32:21 +0100 paulson new material from Avigad
Tue, 10 Feb 2004 12:02:11 +0100 paulson generic of_nat and of_int functions, and generalization of iszero
Mon, 12 Jan 2004 16:51:45 +0100 paulson Added lemmas to Ring_and_Field with slightly modified simplification rules
Wed, 03 Dec 2003 10:49:34 +0100 paulson Simplification of the development of Integers
Tue, 05 Aug 2003 17:57:39 +0200 nipkow cleaned up
Tue, 25 Mar 2003 09:47:05 +0100 berghofe New decision procedure for Presburger arithmetic.
less more (0) tip