| Mon, 03 May 1999 19:03:35 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 03 Feb 1999 13:23:24 +0100 | paulson | standard spelling: type-checking | file | diff | annotate |
| Thu, 27 Aug 1998 16:41:11 +0200 | wenzelm | Goal, Goalw; | file | diff | annotate |
| Mon, 24 Aug 1998 19:12:13 +0200 | wenzelm | emacs local vars; | file | diff | annotate |
| Tue, 28 Jul 1998 16:33:43 +0200 | paulson | Changed "goal" to "Goal" | file | diff | annotate |
| Fri, 05 Dec 1997 18:44:56 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 27 Nov 1997 19:39:02 +0100 | wenzelm | several minor updates; | file | diff | annotate |