src/HOL/Number_Theory/Primes.thy
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