src/HOL/NumberTheory/document/root.tex
Wed, 17 May 2006 01:23:44 +0200 wenzelm tuned;
Sun, 28 Aug 2005 16:04:43 +0200 wenzelm tuned size of included graph;
Thu, 20 Mar 2003 15:58:25 +0100 paulson Gauss's law of quadratic reciprocity by Avigad, Gray and Kramer
less more (0) -3 tip