isabelle: Changelog

wenzelm [Fri, 24 Feb 2023 11:45:39 +0100] rev 77365

clarified signature;

wenzelm [Fri, 24 Feb 2023 11:38:43 +0100] rev 77364

clarified signature: more robust (see also cf2ef4be3630);

wenzelm [Fri, 24 Feb 2023 11:07:31 +0100] rev 77363

unused (see also 7b318273a4aa and a1fb4d28e609);

paulson <lp15@cam.ac.uk> [Sat, 25 Feb 2023 17:35:48 +0000] rev 77362

tidying ugly proofs

nipkow [Fri, 24 Feb 2023 13:14:50 +0100] rev 77361

brought back [...] maplet syntax

paulson [Fri, 24 Feb 2023 10:59:59 +0000] rev 77360

merged

paulson <lp15@cam.ac.uk> [Thu, 23 Feb 2023 16:17:04 +0000] rev 77359

has_sum now an infix operator!!

paulson [Thu, 23 Feb 2023 15:21:22 +0000] rev 77358

merged

paulson <lp15@cam.ac.uk> [Thu, 23 Feb 2023 15:21:14 +0000] rev 77357

New material contributed by Manuel

nipkow [Thu, 23 Feb 2023 22:04:32 +0100] rev 77356

Map.empty no longer output abbreviation; %_. None is shorter and requires no explanation

isabelle