Sat, 12 Oct 2019 18:40:29 +0200 | wenzelm | support preprocessing of exported proofs; | changeset | files |
Sat, 12 Oct 2019 16:46:33 +0200 | wenzelm | early setup of proof preprocessing; | changeset | files |
Sat, 12 Oct 2019 15:41:59 +0200 | wenzelm | clarified output and input of Typ/Term; | changeset | files |