| Tue, 19 Dec 2023 17:54:55 +0100 | wenzelm | more robust: avoid assumption about Context.certificate_theory; | changeset | files |
| Tue, 19 Dec 2023 17:31:12 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 19 Dec 2023 17:26:30 +0100 | wenzelm | clarified pro-forma proof: no zboxes here (partially revert 686b7b14d041); | changeset | files |