| Sun, 10 Dec 2023 11:56:56 +0100 | wenzelm | clarified ML; | changeset | files |
| Sun, 10 Dec 2023 11:42:57 +0100 | wenzelm | clarified signature; | changeset | files |
| Sun, 10 Dec 2023 11:24:42 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 09 Dec 2023 21:48:50 +0100 | wenzelm | avoid accidental capture of theory value, and thus reduce heap size again (amending 5109e4b2a292); | changeset | files |
| Sat, 09 Dec 2023 21:25:26 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 09 Dec 2023 21:15:12 +0100 | wenzelm | more robust: proper Proofterm.get_proofs_level with bound check; | changeset | files |
| Sat, 09 Dec 2023 20:50:21 +0100 | wenzelm | tuned; | changeset | files |