Tue, 27 Feb 2007 00:33:49 +0100 | wenzelm | tuned document; | file | diff | annotate |
Wed, 31 Aug 2005 15:46:39 +0200 | wenzelm | added Avigad-Donnelly; | file | diff | annotate |
Fri, 08 Jul 2005 11:39:44 +0200 | nipkow | moved Davenport citation to Main, removed author list | file | diff | annotate |
Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |
Fri, 18 Jan 2002 15:17:47 +0100 | wenzelm | moved document sources to proper place, *within* Library/Library (!); | file | diff | annotate |