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 |