| 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 |
| Sat, 12 Oct 2019 15:41:59 +0200 | wenzelm | clarified output and input of Typ/Term; | changeset | files |
| Sat, 12 Oct 2019 15:15:41 +0200 | wenzelm | adapted to ML version; | changeset | files |
| Sat, 12 Oct 2019 15:01:13 +0200 | wenzelm | more compact XML; | changeset | files |