src/HOL/Old_Number_Theory/Pocklington.thy
2011-01-13 wenzelm 2011-01-13 eliminated global prems; tuned proofs;
2010-08-06 wenzelm 2010-08-06 modernized specifications; tuned headers;
2010-06-28 haftmann 2010-06-28 tuned whitespace
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