src/HOL/Old_Number_Theory/WilsonBij.thy
2011-09-06 huffman 2011-09-06 avoid using legacy theorem names
2010-09-06 wenzelm 2010-09-06 more antiquotations;
2010-08-06 wenzelm 2010-08-06 modernized specifications; tuned headers;
2010-02-08 haftmann 2010-02-08 tuned proofs
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