| Mon, 04 Nov 2019 20:10:23 +0100 | wenzelm | more robust Thm.expose_theory -- ensure that PIDE export happens in the proper theory context; | changeset | files |
| Mon, 04 Nov 2019 16:56:16 +0100 | wenzelm | uniform "prune_proofs" for Thm_Node / PThm, but it is in conflict with export_proofs of re-used nodes; | changeset | files |
| Mon, 04 Nov 2019 15:15:56 +0100 | wenzelm | tuned; | changeset | files |