| Tue, 23 Apr 1996 16:58:57 +0200 | oheimb | repaired critical proofs depending on the order inside non-confluent SimpSets | file | diff | annotate |
| Fri, 09 Feb 1996 13:41:59 +0100 | nipkow | Introduced qed_spec_mp. | 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 |
| Fri, 06 Oct 1995 10:45:11 +0100 | nipkow | New version with eta reduction. | file | diff | annotate |