| Tue, 28 Jul 1998 16:33:43 +0200 | paulson | Changed "goal" to "Goal" | file | diff | annotate |
| Thu, 09 Apr 1998 12:29:39 +0200 | paulson | Simplified the syntax description; mentioned FOL vs HOL | file | diff | annotate |
| Fri, 04 Jul 1997 11:54:43 +0200 | paulson | Automatic update | file | diff | annotate |
| Fri, 16 May 1997 15:51:11 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Wed, 07 May 1997 16:38:33 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Tue, 06 May 1997 13:49:29 +0200 | wenzelm | fixed simplifier ex; | file | diff | annotate |
| Mon, 05 May 1997 13:24:38 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Fri, 02 May 1997 16:18:49 +0200 | berghofe | Updated to LaTeX 2e | file | diff | annotate |
| Thu, 17 Apr 1997 18:17:23 +0200 | paulson | Automatic updates | file | diff | annotate |
| Thu, 20 Feb 1997 15:53:08 +0100 | wenzelm | index info; | file | diff | annotate |
| Thu, 25 Apr 1996 11:44:34 +0200 | paulson | automatic updates | file | diff | annotate |
| Fri, 08 Dec 1995 13:22:55 +0100 | paulson | trivial, automatic changes | file | diff | annotate |
| Tue, 03 May 1994 18:38:28 +0200 | lcp | final Springer version | file | diff | annotate |
| Wed, 10 Nov 1993 05:06:55 +0100 | lcp | Initial revision | file | diff | annotate |