| 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 |