src/HOL/int_arith1.ML
Sun, 17 Feb 2008 06:49:53 +0100 huffman New simpler representation of numerals, using Bit0 and Bit1 instead of BIT, B0, and B1
Sat, 16 Feb 2008 02:01:13 +0100 huffman added lemma lists {normalize,succ,pred,minus,add,mult}_bin_simps
Tue, 15 Jan 2008 16:19:23 +0100 haftmann joined theories IntDef, Numeral, IntArith to theory Int
Wed, 28 Nov 2007 09:01:34 +0100 haftmann dropped legacy ml bindings
Tue, 18 Sep 2007 16:08:00 +0200 wenzelm simplified type int (eliminated IntInf.int, integer);
Tue, 14 Aug 2007 19:23:27 +0200 nipkow extended linear arith capabilities with code by Amine
Thu, 09 Aug 2007 15:52:47 +0200 haftmann localized of_nat
Tue, 31 Jul 2007 19:40:24 +0200 wenzelm tuned LinArith setup;
Tue, 31 Jul 2007 00:56:26 +0200 wenzelm arith method setup: proper context;
Fri, 20 Jul 2007 14:28:25 +0200 haftmann moved class ord from Orderings.thy to HOL.thy
Sat, 16 Jun 2007 15:01:54 +0200 nipkow The simprocs "divide_cancel_factor" and "ring_eq_cancel_factor" no
Wed, 13 Jun 2007 03:31:11 +0200 huffman removed constant int :: nat => int;
Thu, 31 May 2007 18:16:52 +0200 wenzelm moved Integ files to canonical place;
less more (0) tip