| Wed, 07 May 1997 16:26:28 +0200 | paulson | New acknowledgements; no Fast_tac | file | diff | annotate |
| Fri, 02 May 1997 16:18:49 +0200 | berghofe | Updated to LaTeX 2e | file | diff | annotate |
| Thu, 17 Apr 1997 18:16:12 +0200 | paulson | Removed the \date{} command in order to put the date of typesetting on the | file | diff | annotate |
| Thu, 20 Feb 1997 14:59:02 +0100 | wenzelm | made a bit more robust; | file | diff | annotate |
| Mon, 22 Jul 1996 16:16:51 +0200 | paulson | Updated BibTeX identifiers | file | diff | annotate |
| Tue, 16 Jul 1996 15:47:07 +0200 | paulson | Acknowledged Stefan Berghofer for finding errors | file | diff | annotate |
| Tue, 25 Jul 1995 16:52:08 +0200 | lcp | now uses proof209.sty | file | diff | annotate |