| Wed, 19 Apr 2023 23:27:33 +0200 | wenzelm | more operations, following Isabelle/ML conventions; | changeset | files |
| Wed, 19 Apr 2023 23:04:26 +0200 | wenzelm | clarified theory_id: plain value without state; | changeset | files |
| Wed, 19 Apr 2023 18:22:37 +0000 | haftmann | tuned | changeset | files |