| Mon, 04 Nov 2019 14:56:49 +0100 | wenzelm | more robust expose_proofs corresponding to register_proofs/consolidate_theory; | changeset | files |
| Sun, 03 Nov 2019 20:38:08 +0100 | wenzelm | expose derivations more thoroughly, notably for locale/class reasoning; | changeset | files |
| Sun, 03 Nov 2019 19:43:59 +0100 | wenzelm | clarified errors; | changeset | files |