| Mon, 27 Apr 1998 16:47:50 +0200 | nipkow | Renamed expand_const -> split_const | file | diff | annotate |
| Tue, 16 Dec 1997 17:58:03 +0100 | wenzelm | expandshort; | file | diff | annotate |
| Mon, 03 Nov 1997 14:06:27 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
| Tue, 09 Sep 1997 12:09:06 +0200 | nipkow | Example from HOLCF paper. | file | diff | annotate |