| Mon, 09 Mar 2020 16:12:53 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 09 Mar 2020 15:50:24 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 09 Mar 2020 15:38:52 +0100 | wenzelm | more thorough strip_shyps for proof boxes (but types are usually stripped and reconstructed later); | changeset | files |