src/HOL/Old_Number_Theory/Primes.thy
2015-10-10 wenzelm 2015-10-10 isabelle update_cartouches;
2015-09-01 wenzelm 2015-09-01 eliminated \<Colon>;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-10-21 haftmann 2014-10-21 turn even into an abbreviation
2014-07-05 haftmann 2014-07-05 prefer ac_simps collections over separate name bindings for add and mult
2014-07-04 haftmann 2014-07-04 reduced name variants for assoc and commute on plus and mult
2013-08-18 wenzelm 2013-08-18 more symbols;
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2012-11-08 bulwahn 2012-11-08 tuned proofs
2011-01-13 wenzelm 2011-01-13 eliminated global prems; tuned proofs;
2010-08-06 wenzelm 2010-08-06 modernized specifications; tuned headers;
2010-07-12 haftmann 2010-07-12 dropped superfluous [code del]s
2010-01-01 nipkow 2010-01-01 added lemmas
2009-11-13 nipkow 2009-11-13 renamed lemmas "anti_sym" -> "antisym"
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2009-09-01 haftmann 2009-09-01 some reorganization of number theory