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