src/HOL/document/root.tex
Sun, 28 Aug 2005 16:04:43 +0200 wenzelm tuned size of included graph;
Fri, 08 Jul 2005 11:39:59 +0200 nipkow added Davenport reference
Sun, 10 Apr 2005 17:19:03 +0200 nipkow _(_|_) is now override_on
less more (0) -3 tip