| Tue, 12 Jul 1994 12:49:15 +0200 | nipkow | Corrected HOL.tex | file | diff | annotate |
| Tue, 03 May 1994 18:38:28 +0200 | lcp | final Springer version | file | diff | annotate |
| Mon, 22 Nov 1993 11:28:25 +0100 | wenzelm | *** empty log message *** | file | diff | annotate |
| Wed, 10 Nov 1993 05:00:57 +0100 | lcp | Initial revision | file | diff | annotate |