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
Sat, 20 Oct 2001 20:22:17 +0200 wenzelm include document graph;
Sun, 04 Feb 2001 22:34:52 +0100 wenzelm document setup;
less more (0) tip