| Sat, 20 May 2023 17:18:44 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 20 May 2023 16:12:37 +0200 | wenzelm | more robust context: fail immediately via Morphism.the_theory, instead of rarely via Thm.theory_of_thm (for non-normal thm); | changeset | files |
| Sat, 20 May 2023 14:48:06 +0200 | wenzelm | prefer static simpset; | changeset | files |