wenzelm [Sat, 25 Feb 2023 17:45:10 +0100] rev 77371
tuned signature;
wenzelm [Sat, 25 Feb 2023 14:33:19 +0100] rev 77370
clarified signature: more robust operations;
wenzelm [Fri, 24 Feb 2023 20:52:35 +0100] rev 77369
tuned;
wenzelm [Fri, 24 Feb 2023 20:40:50 +0100] rev 77368
tuned;
wenzelm [Fri, 24 Feb 2023 20:23:48 +0100] rev 77367
more operations;
wenzelm [Fri, 24 Feb 2023 12:40:40 +0100] rev 77366
clarified signature: more operations;
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