| 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 |
| Mon, 09 Mar 2020 14:30:09 +0100 | wenzelm | clarified; | changeset | files |
| Mon, 09 Mar 2020 14:13:44 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 09 Mar 2020 13:03:42 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 09 Mar 2020 11:52:28 +0100 | wenzelm | tuned signature; | changeset | files |