| Mon, 22 Jul 2019 14:47:21 +0200 | wenzelm | clarified postproc: apply shrink_proof last, e.g. relevant for export of full proof term; | changeset | files |
| Mon, 22 Jul 2019 11:40:04 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 22 Jul 2019 11:39:30 +0200 | wenzelm | clarified exception; | changeset | files |
| Mon, 22 Jul 2019 11:31:42 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 22 Jul 2019 11:10:08 +0200 | wenzelm | more accurate type information; | changeset | files |
| Mon, 22 Jul 2019 11:09:24 +0200 | wenzelm | unused (see also 42fbb6abed5a); | changeset | files |
| Sun, 21 Jul 2019 15:42:43 +0200 | wenzelm | discontinued ASCII syntax; | changeset | files |