src/HOL/NatBin.thy
Fri, 25 Jan 2008 14:54:41 +0100 haftmann improved code theorem setup
Tue, 15 Jan 2008 16:19:23 +0100 haftmann joined theories IntDef, Numeral, IntArith to theory Int
Fri, 07 Dec 2007 15:07:59 +0100 haftmann instantiation target rather than legacy instance
Wed, 28 Nov 2007 09:01:34 +0100 haftmann dropped legacy ml bindings
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;
Tue, 24 Jul 2007 19:58:53 +0200 nipkow Added cancel simprocs for dvd on nat and int
Thu, 14 Jun 2007 18:33:31 +0200 wenzelm tuned proofs: avoid implicit prems;
Wed, 13 Jun 2007 03:31:11 +0200 huffman removed constant int :: nat => int;
Mon, 11 Jun 2007 05:20:05 +0200 huffman modify proofs to avoid referring to int::nat=>int
Fri, 08 Jun 2007 03:24:27 +0200 huffman generalize zpower_number_of_{even,odd} lemmas
Wed, 06 Jun 2007 17:01:33 +0200 huffman generalize class constraints on some lemmas
Thu, 31 May 2007 18:16:52 +0200 wenzelm moved Integ files to canonical place;
less more (0) tip