| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Mon, 10 May 1999 17:07:19 +0200 | wenzelm | cite HOLCF; | file | diff | annotate |
| Mon, 10 May 1999 16:35:22 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Tue, 04 May 1999 18:05:34 +0200 | wenzelm | HOL part moved to 'logics-HOL' manual; | file | diff | annotate |
| Wed, 20 Jan 1999 18:07:34 +0100 | wenzelm | isabelle.in.tum.de; | file | diff | annotate |
| Wed, 13 Jan 1999 16:30:53 +0100 | paulson | removal of FOL and ZF | file | diff | annotate |