Mon, 10 May 1999 17:02:05 +0200 | wenzelm | tuned; | file | diff | annotate |
Mon, 10 May 1999 15:26:30 +0200 | wenzelm | pdf setup; | file | diff | annotate |
Wed, 05 May 1999 16:44:42 +0200 | paulson | Now uses manual.bib; some references updated | file | diff | annotate |
Wed, 05 May 1999 09:43:53 +0200 | nipkow | Bibtex stuff. | file | diff | annotate |
Tue, 04 May 1999 18:03:56 +0200 | wenzelm | used to be part of 'logics' manual; | file | diff | annotate |