Fri, 01 Nov 2019 14:30:22 +0100 | wenzelm | tuned signature; | changeset | files |
Fri, 01 Nov 2019 11:29:40 +0100 | wenzelm | clarified error; | changeset | files |
Thu, 31 Oct 2019 22:34:16 +0100 | wenzelm | more accurate proof_boxes -- from actual proof body; | changeset | files |