Wed, 29 Oct 2014 11:03:23 +0100 | nipkow | tuned layout and proofs | changeset | files |
Tue, 28 Oct 2014 17:16:22 +0100 | wenzelm | tuned proofs; | changeset | files |
Tue, 28 Oct 2014 16:44:58 +0100 | wenzelm | increase chances that HOL-Proofs image still works for polyml-5.3.0; | changeset | files |