Tue, 16 Dec 1997 17:58:03 +0100 | wenzelm | expandshort; | file | diff | annotate |
Mon, 03 Nov 1997 12:13:18 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
Fri, 17 Oct 1997 15:25:12 +0200 | nipkow | setloop split_tac -> addsplits | 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:18:46 +0200 | paulson | New example theory: Recdef | file | diff | annotate |