| Tue, 30 Dec 1997 13:43:39 +0100 | nipkow | nth -> ! | file | diff | annotate |
| Sun, 02 Nov 1997 14:01:38 +0100 | nipkow | Indexed split_t_case. | file | diff | annotate |
| Tue, 21 Oct 1997 10:52:25 +0200 | paulson | Fixed the index entries for "recursion, general" | file | diff | annotate |
| Fri, 04 Jul 1997 12:36:00 +0200 | paulson | Automatic update | file | diff | annotate |
| Fri, 23 May 1997 14:13:51 +0200 | nipkow | Documented `size' function for datatypes. | file | diff | annotate |
| Thu, 22 May 1997 11:16:24 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Fri, 16 May 1997 15:51:11 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Mon, 12 May 1997 16:44:58 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Fri, 09 May 1997 19:42:09 +0200 | wenzelm | SYNC; | file | diff | annotate |
| Fri, 02 May 1997 16:18:49 +0200 | berghofe | Updated to LaTeX 2e | file | diff | annotate |
| Thu, 20 Feb 1997 16:09:41 +0100 | wenzelm | added index info; | file | diff | annotate |