| Sat, 12 Oct 2019 22:20:39 +0200 | wenzelm | clarified signature default; | changeset | files |
| Sat, 12 Oct 2019 22:18:27 +0200 | wenzelm | clarified signature default; | changeset | files |
| 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 |
| Sat, 12 Oct 2019 16:46:33 +0200 | wenzelm | early setup of proof preprocessing; | changeset | files |