Wed, 25 Oct 1995 09:48:29 +0100 Added various thms and tactics.
nipkow [Wed, 25 Oct 1995 09:48:29 +0100] rev 1301
Added various thms and tactics.
Wed, 25 Oct 1995 09:46:46 +0100 New theory: type inference for let-free MiniML
nipkow [Wed, 25 Oct 1995 09:46:46 +0100] rev 1300
New theory: type inference for let-free MiniML
Tue, 24 Oct 1995 15:01:01 +0100 added usage of qed
clasohm [Tue, 24 Oct 1995 15:01:01 +0100] rev 1299
added usage of qed
Tue, 24 Oct 1995 14:58:29 +0100 added call of make_chart
clasohm [Tue, 24 Oct 1995 14:58:29 +0100] rev 1298
added call of make_chart
Tue, 24 Oct 1995 14:58:02 +0100 added calls of init_html and make_chart;
clasohm [Tue, 24 Oct 1995 14:58:02 +0100] rev 1297
added calls of init_html and make_chart; added usage of qed to LK.ML
Tue, 24 Oct 1995 14:50:24 +0100 added calls of init_html and make_chart
clasohm [Tue, 24 Oct 1995 14:50:24 +0100] rev 1296
added calls of init_html and make_chart
Tue, 24 Oct 1995 14:49:45 +0100 entry page for HTML version of Isabelle's logics
clasohm [Tue, 24 Oct 1995 14:49:45 +0100] rev 1295
entry page for HTML version of Isabelle's logics
Tue, 24 Oct 1995 14:45:35 +0100 added calls of init_html and make_chart;
clasohm [Tue, 24 Oct 1995 14:45:35 +0100] rev 1294
added calls of init_html and make_chart; added usage of qed
Tue, 24 Oct 1995 14:42:15 +0100 added calls of init_html and make_chart
clasohm [Tue, 24 Oct 1995 14:42:15 +0100] rev 1293
added calls of init_html and make_chart
Tue, 24 Oct 1995 13:54:00 +0100 added images for HTML files
clasohm [Tue, 24 Oct 1995 13:54:00 +0100] rev 1292
added images for HTML files
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip