Tue, 15 Oct 2019 21:05:35 +0200 | wenzelm | more support for proof terms; | changeset | files |
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 |