Mon, 04 Nov 2019 15:14:34 +0100 | wenzelm | updated xml_size; | changeset | files |
Mon, 04 Nov 2019 15:06:54 +0100 | wenzelm | prefer named result; | changeset | files |
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 |
Sun, 03 Nov 2019 18:55:35 +0100 | wenzelm | determine proof boxes from exported proof (NB: thm_boxes is not sufficient due to OfClass proofs); | changeset | files |
Sun, 03 Nov 2019 18:53:48 +0100 | wenzelm | more operations; | changeset | files |