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 |