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 |
Fri, 06 Oct 1995 10:45:11 +0100 | nipkow | New version with eta reduction. | file | diff | annotate |