| Wed, 13 Dec 2000 09:32:55 +0100 | nipkow | small mods. | file | diff | annotate |
| Tue, 17 Oct 2000 10:21:12 +0200 | paulson | renaming of contrapos rules | file | diff | annotate |
| Thu, 12 Oct 2000 18:44:35 +0200 | nipkow | *** empty log message *** | file | diff | annotate |