wenzelm [Sun, 09 Jun 2024 15:31:33 +0200] rev 80306
more accurate thm "name_hint", using Thm_Name.T;
wenzelm [Sun, 09 Jun 2024 15:11:07 +0200] rev 80305
more operationsd;
wenzelm [Sun, 09 Jun 2024 12:29:04 +0200] rev 80304
tuned;
wenzelm [Sat, 08 Jun 2024 23:17:20 +0200] rev 80303
more robust: prefer synchronous compression (usually <= 1ms, sometimes 1..5ms);
wenzelm [Sat, 08 Jun 2024 19:47:14 +0200] rev 80302
clarified signature;
wenzelm [Sat, 08 Jun 2024 19:43:08 +0200] rev 80301
clarified output, following Consumer_Thread.failure;
wenzelm [Sat, 08 Jun 2024 19:35:28 +0200] rev 80300
more informative exception output, with optional trace;
wenzelm [Sat, 08 Jun 2024 16:26:47 +0200] rev 80299
more accurate output of Thm_Name.T wrt. facts name space;
wenzelm [Sat, 08 Jun 2024 11:47:48 +0200] rev 80298
clarified signature: more operations;
wenzelm [Sat, 08 Jun 2024 11:32:38 +0200] rev 80297
tuned structure;