| Tue, 15 Oct 2019 16:41:47 +0200 | wenzelm | more support for proof terms; | changeset | files |
| Tue, 15 Oct 2019 16:04:11 +0200 | wenzelm | support for proof terms; | changeset | files |
| Tue, 15 Oct 2019 14:14:10 +0200 | wenzelm | clarified proof export; | changeset | files |
| Tue, 15 Oct 2019 13:34:50 +0200 | wenzelm | set_preproc for object-logics with type classes; | changeset | files |
| Tue, 15 Oct 2019 13:30:02 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 15 Oct 2019 13:11:31 +0200 | wenzelm | skip (somewhat pointless) shrink_proof more uniformly; | changeset | files |
| Tue, 15 Oct 2019 11:48:25 +0200 | wenzelm | apply_preproc for all proof boxes; | changeset | files |