| Wed, 18 Oct 2000 17:19:18 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 17 Oct 2000 16:59:02 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 17 Oct 2000 10:45:51 +0200 | paulson | renaming of contrapos rules | file | diff | annotate |
| Mon, 16 Oct 2000 13:21:01 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 13 Oct 2000 18:02:08 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 12 Oct 2000 18:38:23 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 12 Oct 2000 18:06:31 +0200 | wenzelm | induct -> lfp_induct; | file | diff | annotate |
| Wed, 11 Oct 2000 13:39:52 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 11 Oct 2000 09:09:06 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 09 Oct 2000 19:20:55 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 09 Oct 2000 10:18:21 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 06 Oct 2000 12:31:53 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 04 Oct 2000 17:35:45 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 03 Oct 2000 11:26:54 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 15 Sep 2000 20:34:00 +0200 | wenzelm | someI2_ex; | file | diff | annotate |
| Fri, 15 Sep 2000 19:59:05 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 14 Sep 2000 17:46:00 +0200 | nipkow | *** empty log message *** | file | diff | annotate |