Sun, 24 Dec 2023 20:17:08 +0100 | wenzelm | more robust: zproofs need to be enabled (amending 43d8385db923); | changeset | files |
Sun, 24 Dec 2023 13:58:25 +0100 | wenzelm | more thorough thm definition via Global_Theory.register_proofs: store (and purge) zproofs; | changeset | files |