| Sat, 20 May 2023 20:56:13 +0200 | wenzelm | more documentation; | changeset | files |
| Sat, 20 May 2023 17:42:01 +0200 | wenzelm | tuned signature; | changeset | files |
| 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 |
| Sat, 20 May 2023 14:12:01 +0200 | wenzelm | omit pointless morphism in global theory; | changeset | files |
| Sat, 20 May 2023 12:04:41 +0200 | wenzelm | more operations; | changeset | files |