src/HOL/Number_Theory/Primes.thy
2012-03-25 ago merged fork with new numeral representation (see NEWS)
2011-11-20 ago eliminated obsolete "standard";
2011-09-10 ago misc tuning;
2011-09-07 ago avoid using legacy theorem names
2010-11-09 ago tidied using metis
2010-07-12 ago dropped superfluous [code del]s
2010-06-28 ago tuned theory text
2010-06-02 ago absolute import -- must work with Main.thy / HOL-Proofs
2010-03-08 ago transfer: avoid camel case
2009-12-04 ago removed redundant lemma
2009-11-16 ago Fixed a typo in a comment.
2009-09-01 ago some reorganization of number theory