src/HOL/Number_Theory/Primes.thy
2014-01-24 paulson 2014-01-24 Restored Suc rather than +1, and using Library/Binimial
2013-10-31 haftmann 2013-10-31 purely algebraic foundation for even/odd
2013-09-12 huffman 2013-09-12 remove unneeded assumption from prime_dvd_power lemmas; add iff forms of prime_dvd_power lemmas (thanks to Jason Dagit)
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2011-11-20 wenzelm 2011-11-20 eliminated obsolete "standard";
2011-09-10 wenzelm 2011-09-10 misc tuning;
2011-09-07 huffman 2011-09-07 avoid using legacy theorem names
2010-11-09 paulson 2010-11-09 tidied using metis
2010-07-12 haftmann 2010-07-12 dropped superfluous [code del]s
2010-06-28 haftmann 2010-06-28 tuned theory text
2010-06-02 haftmann 2010-06-02 absolute import -- must work with Main.thy / HOL-Proofs
2010-03-08 haftmann 2010-03-08 transfer: avoid camel case
2009-12-04 nipkow 2009-12-04 removed redundant lemma
2009-11-16 webertj 2009-11-16 Fixed a typo in a comment.
2009-09-01 haftmann 2009-09-01 some reorganization of number theory