| 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 |