src/HOL/Old_Number_Theory/Quadratic_Reciprocity.thy
2011-11-25 wenzelm 2011-11-25 proper intro? declarations -- NB: elim? indexes on major premise, which is too flexible here and easily leads to inefficiences (cf. a0336f8b6558);
2011-11-24 wenzelm 2011-11-24 speed-up proof;
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2011-09-06 huffman 2011-09-06 avoid using legacy theorem names
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