isabelle: Changelog

wenzelm [Sun, 17 Dec 2023 22:57:20 +0100] rev 79274

proper Thm.transfer (required for zproofs);

wenzelm [Sun, 17 Dec 2023 21:43:14 +0100] rev 79273

clarified signature;

wenzelm [Sun, 17 Dec 2023 21:34:44 +0100] rev 79272

proper beta_norm after instantiation (amending 90c5aadcc4b2);

wenzelm [Sun, 17 Dec 2023 21:30:21 +0100] rev 79271

minor performance tuning: more direct beta_norm;

wenzelm [Sun, 17 Dec 2023 21:12:18 +0100] rev 79270

more robust norm_proof: turn env into instantiation, based on visible statement;

wenzelm [Sun, 17 Dec 2023 15:09:55 +0100] rev 79269

proper scope of cache (amending 61af3e917597);

wenzelm [Sun, 17 Dec 2023 11:15:08 +0100] rev 79268

tuned comments;

wenzelm [Fri, 15 Dec 2023 17:29:23 +0100] rev 79267

tuned names;

wenzelm [Fri, 15 Dec 2023 17:19:57 +0100] rev 79266

tuned signature;

wenzelm [Fri, 15 Dec 2023 17:15:59 +0100] rev 79265

more zproofs;

isabelle