| Thu, 20 Apr 2023 11:57:34 +0200 | wenzelm | clarified signature: explicitly distinguish theory_base_name vs. theory_long_name; | changeset | files |
| Wed, 19 Apr 2023 23:27:55 +0200 | wenzelm | tuned; | changeset | files |
| 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 |
| Wed, 19 Apr 2023 18:21:30 +0000 | haftmann | clarified terminology | changeset | files |
| Wed, 19 Apr 2023 14:48:43 +0200 | wenzelm | minor performance tuning: recursive check of pointer_eq; | changeset | files |