| 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 |
| Mon, 04 Nov 2019 15:14:34 +0100 | wenzelm | updated xml_size; | changeset | files |