isabelle: Changelog

wenzelm [Thu, 21 Sep 2023 18:14:28 +0200] rev 78679

clarified modules;

wenzelm [Thu, 21 Sep 2023 17:09:48 +0200] rev 78678

tuned;

wenzelm [Thu, 21 Sep 2023 17:04:56 +0200] rev 78677

more robust: prefer linear data flow;

desharna [Wed, 20 Sep 2023 17:40:09 +0200] rev 78676

added first proof reconstruction test for Sledgehammer

wenzelm [Tue, 19 Sep 2023 20:24:39 +0200] rev 78675

tuned;

wenzelm [Tue, 19 Sep 2023 19:48:54 +0200] rev 78674

clarified signature;

wenzelm [Tue, 19 Sep 2023 13:46:11 +0200] rev 78673

clarified signature (again): follow Isabelle/Java/Scala;

wenzelm [Tue, 19 Sep 2023 13:12:13 +0200] rev 78672

tuned (following 69c6d3e87660);

wenzelm [Tue, 19 Sep 2023 13:02:48 +0200] rev 78671

tuned --- avoid pointless indirection (see also a2df9de46060);

paulson <lp15@cam.ac.uk> [Sun, 17 Sep 2023 18:56:35 +0100] rev 78670

(pointlessly) get rid of some simp calls within "proof"

isabelle