wenzelm [Sat, 06 Jan 2024 15:31:41 +0100] rev 79425
clarified signature;
clarified modules;
wenzelm [Sat, 06 Jan 2024 13:13:48 +0100] rev 79424
misc tuning and clarification;
wenzelm [Sat, 06 Jan 2024 12:44:35 +0100] rev 79423
tuned signature;
wenzelm [Sat, 06 Jan 2024 12:34:55 +0100] rev 79422
tuned signature: canonical argument order;
wenzelm [Thu, 04 Jan 2024 15:56:03 +0100] rev 79421
tuned;
wenzelm [Thu, 04 Jan 2024 15:49:09 +0100] rev 79420
clarified datatype ztyp: omit special case that rarely occurs (thanks to ZClass and ZClassp);
wenzelm [Thu, 04 Jan 2024 15:16:10 +0100] rev 79419
clarified box_proof: use sort constraints within the logic;
wenzelm [Wed, 03 Jan 2024 12:40:10 +0100] rev 79418
more operations (see also 8368160d3c65);
wenzelm [Tue, 02 Jan 2024 23:17:43 +0100] rev 79417
proper support for complex types, not just type variables (amending 623789141e39);
wenzelm [Tue, 02 Jan 2024 21:58:32 +0100] rev 79416
proper instantiation for make_const_proof, notably change of types for term variables;