| Tue, 17 Jun 1997 09:01:56 +0200 | nipkow | converse -> ^-1 | file | diff | annotate |
| Mon, 05 Feb 1996 21:29:06 +0100 | clasohm | expanded tabs; incorporated Konrad's changes | file | diff | annotate |
| Wed, 25 Oct 1995 09:49:35 +0100 | nipkow | Moved some thms to Arith and to Trancl. | file | diff | annotate |
| Wed, 11 Oct 1995 10:09:56 +0100 | nipkow | Commutation replaces Confluence | file | diff | annotate |