| Sat, 12 Oct 2019 22:12:29 +0200 | wenzelm | more operations for type classes; | changeset | files |
| Sat, 12 Oct 2019 18:41:12 +0200 | wenzelm | setup preprocessing for HOL proofs; | changeset | files |
| Sat, 12 Oct 2019 18:40:29 +0200 | wenzelm | support preprocessing of exported proofs; | changeset | files |