| Fri, 29 Dec 2023 20:18:58 +0100 | wenzelm | clarified signature: suppress unused fields; | changeset | files |
| Fri, 29 Dec 2023 20:01:04 +0100 | wenzelm | eliminate clone (amending e7796c55d840); | changeset | files |
| Fri, 29 Dec 2023 19:22:15 +0100 | wenzelm | minor performance tuning; | changeset | files |
| Fri, 29 Dec 2023 19:05:10 +0100 | wenzelm | more operations; | changeset | files |
| Fri, 29 Dec 2023 19:00:17 +0100 | wenzelm | more operations; | changeset | files |
| Fri, 29 Dec 2023 15:58:43 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 27 Dec 2023 21:42:42 +0100 | wenzelm | clarified store_proof: before attributes are applied, to ensure proper thm_proof boxes for declaration attributes; | changeset | files |