src/HOL/Integ/NatSimprocs.thy
Sat, 17 Sep 2005 18:25:11 +0200 wenzelm tuned document;
Fri, 26 Aug 2005 10:01:06 +0200 ballarin Lemmas on dvd, power and finite summation added or strengthened.
Tue, 16 Aug 2005 18:53:11 +0200 paulson more simprules now have names
Tue, 12 Jul 2005 17:56:03 +0200 avigad added lemmas to OrderedGroup.thy (reasoning about signs, absolute value, triangle inequalities)
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Thu, 07 Oct 2004 15:42:30 +0200 paulson simplification tweaks for better arithmetic reasoning
Mon, 04 Oct 2004 15:28:03 +0200 paulson revised simprules for division
Wed, 18 Aug 2004 11:09:40 +0200 nipkow import -> imports
Mon, 16 Aug 2004 14:22:27 +0200 nipkow New theory header syntax.
Fri, 16 Apr 2004 04:07:10 +0200 wenzelm tuned document;
Fri, 19 Mar 2004 10:48:22 +0100 paulson new thms
Fri, 05 Mar 2004 15:19:55 +0100 paulson some new results
Thu, 04 Mar 2004 12:06:07 +0100 paulson new material from Avigad, and simplified treatment of division by 0
Sun, 15 Feb 2004 10:46:37 +0100 paulson Polymorphic treatment of binary arithmetic using axclasses
Tue, 10 Feb 2004 12:02:11 +0100 paulson generic of_nat and of_int functions, and generalization of iszero
less more (0) -15 tip