src/HOL/ex/PresburgerEx.thy
Mon, 02 Feb 2009 09:01:14 +0100 haftmann updated class documentation
Thu, 03 Jan 2008 10:27:40 +0100 chaieb Tuned (type information in Lemmas)
Wed, 22 Aug 2007 17:13:40 +0200 chaieb imports Presburger; no need for Main
Thu, 21 Jun 2007 17:28:50 +0200 wenzelm renamed NatSimprocs.thy to Arith_Tools.thy;
Mon, 11 Jun 2007 11:06:23 +0200 chaieb Added more examples
Thu, 21 Sep 2006 19:04:12 +0200 wenzelm updated timings;
Thu, 08 Jun 2006 13:49:53 +0200 nipkow added John's example
Wed, 14 Sep 2005 22:08:08 +0200 wenzelm tuned headers etc.;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Thu, 22 Jul 2004 19:33:12 +0200 webertj minor formatting fixes
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
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.
Mon, 12 Jan 2004 16:51:45 +0100 paulson Added lemmas to Ring_and_Field with slightly modified simplification rules
Tue, 25 Mar 2003 09:50:53 +0100 berghofe Added examples for Presburger arithmetic.
less more (0) tip