isabelle: Changelog

wenzelm [Sat, 31 Dec 2022 11:48:32 +0100] rev 76840

clarified signature;

wenzelm [Sat, 31 Dec 2022 11:35:28 +0100] rev 76839

tuned;

paulson <lp15@cam.ac.uk> [Sun, 01 Jan 2023 12:24:00 +0000] rev 76838

removed an unfortunate sledgehammer command

paulson <lp15@cam.ac.uk> [Sun, 01 Jan 2023 01:43:02 +0000] rev 76837

A couple of patches

paulson <lp15@cam.ac.uk> [Sun, 01 Jan 2023 00:45:55 +0000] rev 76836

Big simplifications of old proofs

paulson <lp15@cam.ac.uk> [Sat, 31 Dec 2022 11:09:19 +0000] rev 76835

repaired a proof

paulson <lp15@cam.ac.uk> [Fri, 30 Dec 2022 23:21:37 +0000] rev 76834

Continued proof simplifications

paulson [Fri, 30 Dec 2022 20:59:38 +0000] rev 76833

merged

paulson <lp15@cam.ac.uk> [Fri, 30 Dec 2022 17:48:41 +0000] rev 76832

A further round of proof consolidation

wenzelm [Fri, 30 Dec 2022 21:27:57 +0100] rev 76831

tuned signature: avoid too many aliases;

isabelle