| Fri, 01 Nov 2019 17:53:27 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 01 Nov 2019 16:36:17 +0100 | wenzelm | make double-sure that internal proof boxes are exported, e.g. in Pure; | changeset | files |
| 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 |
| 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 |