Fri, 06 Feb 1998 18:55:57 +0100 | nipkow | filter_size -> length_filter | file | diff | annotate |
Mon, 03 Nov 1997 14:37:35 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
Fri, 10 Oct 1997 19:02:28 +0200 | wenzelm | fixed dots; | file | diff | annotate |
Tue, 05 Aug 1997 16:22:17 +0200 | nipkow | Added example mapf which requires a special congruence rule. | file | diff | annotate |
Fri, 06 Jun 1997 10:19:20 +0200 | paulson | Two new examples; corrected a comment | file | diff | annotate |
Thu, 05 Jun 1997 14:06:23 +0200 | paulson | New recdef examples | file | diff | annotate |