Wed, 25 Oct 1995 09:50:18 +0100 | nipkow | Hat to modify a proof because of chaned simpset for Prod. | changeset | files |
Wed, 25 Oct 1995 09:49:35 +0100 | nipkow | Moved some thms to Arith and to Trancl. | changeset | files |
Wed, 25 Oct 1995 09:48:29 +0100 | nipkow | Added various thms and tactics. | changeset | files |
Wed, 25 Oct 1995 09:46:46 +0100 | nipkow | New theory: type inference for let-free MiniML | changeset | files |
Tue, 24 Oct 1995 15:01:01 +0100 | clasohm | added usage of qed | changeset | files |
Tue, 24 Oct 1995 14:58:29 +0100 | clasohm | added call of make_chart | changeset | files |