| Sat, 06 Jan 2024 12:44:35 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 06 Jan 2024 12:34:55 +0100 | wenzelm | tuned signature: canonical argument order; | changeset | files |
| Thu, 04 Jan 2024 15:56:03 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 04 Jan 2024 15:49:09 +0100 | wenzelm | clarified datatype ztyp: omit special case that rarely occurs (thanks to ZClass and ZClassp); | changeset | files |
| Thu, 04 Jan 2024 15:16:10 +0100 | wenzelm | clarified box_proof: use sort constraints within the logic; | changeset | files |
| Wed, 03 Jan 2024 12:40:10 +0100 | wenzelm | more operations (see also 8368160d3c65); | changeset | files |
| Tue, 02 Jan 2024 23:17:43 +0100 | wenzelm | proper support for complex types, not just type variables (amending 623789141e39); | changeset | files |
| Tue, 02 Jan 2024 21:58:32 +0100 | wenzelm | proper instantiation for make_const_proof, notably change of types for term variables; | changeset | files |