src/HOL/Number_Theory/Cong.thy
2011-09-10 wenzelm 2011-09-10 misc tuning;
2011-03-13 wenzelm 2011-03-13 tuned headers;
2011-01-13 wenzelm 2011-01-13 eliminated global prems; tuned proofs;
2010-06-02 haftmann 2010-06-02 avoid duplicate import
2010-04-26 haftmann 2010-04-26 dropped group_simps, ring_simps, field_eq_simps
2010-03-08 haftmann 2010-03-08 transfer: avoid camel case
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