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 |
Tue, 24 Oct 1995 14:58:02 +0100 | clasohm | added calls of init_html and make_chart; | changeset | files |
Tue, 24 Oct 1995 14:50:24 +0100 | clasohm | added calls of init_html and make_chart | changeset | files |
Tue, 24 Oct 1995 14:49:45 +0100 | clasohm | entry page for HTML version of Isabelle's logics | changeset | files |