| Wed, 02 Jul 1997 16:46:36 +0200 | paulson | Now there are TWO spaces after each full stop, so that the Emacs sentence | file | diff | annotate |
| Fri, 16 May 1997 15:50:24 +0200 | wenzelm | hint at more sections; | file | diff | annotate |
| Tue, 06 May 1997 13:49:29 +0200 | wenzelm | fixed simplifier ex; | file | diff | annotate |
| Mon, 05 May 1997 18:50:26 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 05 May 1997 13:24:11 +0200 | wenzelm | misc updates, tuning, cleanup; | file | diff | annotate |
| Mon, 12 Aug 1996 16:25:08 +0200 | paulson | Rewording: parameters->arguments! | file | diff | annotate |
| Thu, 04 Apr 1996 18:01:26 +0200 | nipkow | Added 'constdefs' and extended the section on 'defs' | file | diff | annotate |