isabelle: Changelog

haftmann [Sat, 16 Sep 2023 06:38:44 +0000] rev 78669

reduced prominence of lemma names

haftmann [Sat, 16 Sep 2023 06:38:44 +0000] rev 78668

new formulation of an auxiliary lemma

paulson <lp15@cam.ac.uk> [Fri, 15 Sep 2023 20:46:50 +0100] rev 78667

A few more inclusion-exclusion theorems from HOL Light

haftmann [Thu, 14 Sep 2023 05:24:30 +0000] rev 78666

Corrected type calculation.

haftmann [Wed, 13 Sep 2023 17:08:55 +0000] rev 78665

some hints on managed installations

haftmann [Wed, 13 Sep 2023 17:08:54 +0000] rev 78664

prefer cartouches over quotes for clarity of resulting document

paulson <lp15@cam.ac.uk> [Tue, 12 Sep 2023 13:54:48 +0100] rev 78663

A little reorganisation

wenzelm [Mon, 11 Sep 2023 23:13:23 +0200] rev 78662

post-release updates;

wenzelm [Mon, 11 Sep 2023 22:59:34 +0200] rev 78661

merged

wenzelm [Mon, 11 Sep 2023 19:31:09 +0200] rev 78660

Added tag Isabelle2023 for changeset b5f3d1051b13

isabelle