Wed, 11 Sep 1996 15:17:07 +0200 | nipkow | Removed refs to clasets like rel_cs etc. Used implicit claset. | file | diff | annotate |
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 |