Fri, 01 Nov 2019 15:47:31 +0100 | wenzelm | avoid redundant proof boxes for application sessions; | changeset | files |
Fri, 01 Nov 2019 15:23:23 +0100 | wenzelm | clarified modules (again); | changeset | files |
Fri, 01 Nov 2019 15:09:55 +0100 | wenzelm | more detailed proof term output; | changeset | files |