| Mon, 08 Jan 2024 21:46:26 +0100 | wenzelm | minor performance tuning; | changeset | files |
| Mon, 08 Jan 2024 21:30:21 +0100 | wenzelm | minor performance tuning; | changeset | files |
| Mon, 08 Jan 2024 13:41:45 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 08 Jan 2024 13:31:45 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 08 Jan 2024 12:08:31 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 06 Jan 2024 21:01:06 +0100 | wenzelm | more zproofs, underlying Proofterm.unconstrain_thm_proof / Thm.unconstrainT; | changeset | files |
| Sat, 06 Jan 2024 20:53:50 +0100 | wenzelm | omit syntactic of_class check, which is in conflict with sort constraints within the logic; | changeset | files |