src/HOL/Number_Theory/Primes.thy
Sun, 09 Nov 2014 10:03:18 +0100 haftmann reverted 1ebf0a1f12a4 after successful re-tuning of simp rules for divisibility
Wed, 05 Nov 2014 19:43:17 +0100 nipkow reduced execution time
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Thu, 09 Oct 2014 22:43:48 +0200 haftmann more foundational definition for predicate even
Tue, 07 Oct 2014 23:29:43 +0200 wenzelm more bibtex entries;
Fri, 04 Jul 2014 20:18:47 +0200 haftmann reduced name variants for assoc and commute on plus and mult
Wed, 05 Feb 2014 17:06:11 +0000 paulson Number_Theory no longer introduces One_nat_def as a simprule. Tidied some proofs.
Sun, 02 Feb 2014 19:15:25 +0000 paulson Number_Theory: prime is no longer overloaded, but only for nat. Automatic coercion to int enabled.
Sat, 01 Feb 2014 20:38:29 +0000 paulson Added material from Old_Number_Theory related to the Chinese Remainder Theorem
Fri, 31 Jan 2014 16:58:58 +0000 paulson Restoring some proofs from the equivalent file in Old_Number_Theory.
Fri, 24 Jan 2014 15:21:00 +0000 paulson Restored Suc rather than +1, and using Library/Binimial
Thu, 31 Oct 2013 11:44:20 +0100 haftmann purely algebraic foundation for even/odd
Thu, 12 Sep 2013 15:08:07 -0700 huffman remove unneeded assumption from prime_dvd_power lemmas;
Sun, 25 Mar 2012 20:15:39 +0200 huffman merged fork with new numeral representation (see NEWS)
Sun, 20 Nov 2011 21:05:23 +0100 wenzelm eliminated obsolete "standard";
Sat, 10 Sep 2011 23:27:32 +0200 wenzelm misc tuning;
Wed, 07 Sep 2011 09:02:58 -0700 huffman avoid using legacy theorem names
Tue, 09 Nov 2010 13:59:37 +0000 paulson tidied using metis
Mon, 12 Jul 2010 08:58:13 +0200 haftmann dropped superfluous [code del]s
Mon, 28 Jun 2010 15:32:27 +0200 haftmann tuned theory text
Wed, 02 Jun 2010 16:24:14 +0200 haftmann absolute import -- must work with Main.thy / HOL-Proofs
Mon, 08 Mar 2010 09:38:58 +0100 haftmann transfer: avoid camel case
Fri, 04 Dec 2009 08:52:09 +0100 nipkow removed redundant lemma
Mon, 16 Nov 2009 17:22:10 +0000 webertj Fixed a typo in a comment.
Tue, 01 Sep 2009 15:39:33 +0200 haftmann some reorganization of number theory
less more (0) tip