| 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 |
| Thu, 31 Oct 2019 22:34:16 +0100 | wenzelm | more accurate proof_boxes -- from actual proof body; | changeset | files |
| Thu, 31 Oct 2019 21:21:09 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 31 Oct 2019 14:29:29 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 31 Oct 2019 09:02:02 +0000 | haftmann | more lemmas | changeset | files |
| Wed, 30 Oct 2019 18:30:28 -0400 | immler | merged | changeset | files |
| Wed, 30 Oct 2019 15:26:10 -0400 | immler | linear is not needed | changeset | files |