| Fri, 07 Oct 2005 22:59:19 +0200 | wenzelm | replaced _K by dummy abstraction; | file | diff | annotate |
| Tue, 04 Oct 2005 23:30:46 +0200 | nipkow | new lemmas | file | diff | annotate |
| Thu, 22 Sep 2005 23:56:15 +0200 | nipkow | renamed rules to iprover | file | diff | annotate |
| Tue, 30 Aug 2005 12:47:53 +0200 | paulson | patterns in setsum and setprod | file | diff | annotate |
| Fri, 26 Aug 2005 10:01:06 +0200 | ballarin | Lemmas on dvd, power and finite summation added or strengthened. | file | diff | annotate |
| Tue, 16 Aug 2005 18:53:11 +0200 | paulson | more simprules now have names | file | diff | annotate |
| Fri, 05 Aug 2005 12:20:30 +0200 | nipkow | added Brian Hufmann's finite instances | file | diff | annotate |