src/HOL/Old_Number_Theory/Residues.thy
2015-10-10 wenzelm 2015-10-10 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2013-08-18 wenzelm 2013-08-18 more symbols;
2011-01-13 wenzelm 2011-01-13 eliminated global prems; tuned proofs;
2010-08-06 wenzelm 2010-08-06 modernized specifications; tuned headers;
2009-09-01 haftmann 2009-09-01 some reorganization of number theory