| Tue, 24 Oct 1995 14:45:35 +0100 | clasohm | added calls of init_html and make_chart; | changeset | files |
| Tue, 24 Oct 1995 14:42:15 +0100 | clasohm | added calls of init_html and make_chart | changeset | files |
| Tue, 24 Oct 1995 13:54:00 +0100 | clasohm | added images for HTML files | changeset | files |
| Tue, 24 Oct 1995 13:53:09 +0100 | clasohm | added generation of HTML files to thy_read.ML; | changeset | files |
| Tue, 24 Oct 1995 13:41:06 +0100 | clasohm | added space_explode and relative_path | changeset | files |
| Tue, 24 Oct 1995 13:40:06 +0100 | clasohm | added "execute" | changeset | files |
| Sun, 22 Oct 1995 15:16:57 +0100 | nipkow | Improved a few proofs. | changeset | files |