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, 16 Apr 2004 13:51:04 +0200 | wenzelm | tuned document; | file | diff | annotate |
Fri, 18 Jan 2002 18:35:39 +0100 | wenzelm | fixed document setup of HOL-Library; | file | diff | annotate |
Fri, 18 Jan 2002 15:17:47 +0100 | wenzelm | moved document sources to proper place, *within* Library/Library (!); | file | diff | annotate |