| Thu, 04 Apr 1996 11:43:25 +0200 | paulson | For renaming to rtrancl_Un_rtrancl | file | diff | annotate |
| Tue, 30 Jan 1996 15:24:36 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Tue, 02 Jan 1996 14:08:04 +0100 | nipkow | Polished proofs. | 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 |