wenzelm [Sun, 10 Dec 2023 11:42:57 +0100] rev 79227
clarified signature;
minor performance tuning;
wenzelm [Sun, 10 Dec 2023 11:24:42 +0100] rev 79226
tuned signature;
wenzelm [Sat, 09 Dec 2023 21:48:50 +0100] rev 79225
avoid accidental capture of theory value, and thus reduce heap size again (amending 5109e4b2a292);
wenzelm [Sat, 09 Dec 2023 21:25:26 +0100] rev 79224
tuned;
wenzelm [Sat, 09 Dec 2023 21:15:12 +0100] rev 79223
more robust: proper Proofterm.get_proofs_level with bound check;
wenzelm [Sat, 09 Dec 2023 20:50:21 +0100] rev 79222
tuned;
wenzelm [Sat, 09 Dec 2023 20:37:36 +0100] rev 79221
clarified signature: fewer tuples;
wenzelm [Sat, 09 Dec 2023 20:05:13 +0100] rev 79220
clarified signature: fewer tuples;
wenzelm [Sat, 09 Dec 2023 17:31:10 +0100] rev 79219
clarified signature: more explicit get_proofs_level with bounds check;
wenzelm [Fri, 08 Dec 2023 20:56:21 +0100] rev 79218
merged
wenzelm [Fri, 08 Dec 2023 20:47:03 +0100] rev 79217
misc tuning and clarification: more standard Same.commit discipline;
wenzelm [Fri, 08 Dec 2023 20:08:52 +0100] rev 79216
tuned;
wenzelm [Fri, 08 Dec 2023 19:52:24 +0100] rev 79215
tuned names;
wenzelm [Fri, 08 Dec 2023 19:29:05 +0100] rev 79214
more operations;
more accurate treatment of beta contraction in norm_term/norm_proof, following Envir.norm_term;