isabelle: Changelog

wenzelm [Thu, 11 Nov 2021 22:35:23 +0100] rev 74757

merged

wenzelm [Thu, 11 Nov 2021 22:06:18 +0100] rev 74756

clarified signature: prefer static operations;

wenzelm [Thu, 11 Nov 2021 21:54:28 +0100] rev 74755

clarified signature: avoid potential misunderstanding of Resources.empty as proper Resources;

wenzelm [Thu, 11 Nov 2021 13:47:32 +0100] rev 74754

more robust;

wenzelm [Thu, 11 Nov 2021 13:18:35 +0100] rev 74753

tuned signature;

wenzelm [Thu, 11 Nov 2021 13:14:12 +0100] rev 74752

clarified signature: more explicit class Entity_Context with private state + operations;

wenzelm [Thu, 11 Nov 2021 12:16:17 +0100] rev 74751

more hyperlinks, notably internal fact references;

paulson <lp15@cam.ac.uk> [Thu, 11 Nov 2021 11:51:25 +0000] rev 74750

Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.14UUXO

paulson <lp15@cam.ac.uk> [Tue, 09 Nov 2021 16:04:11 +0000] rev 74749

A tiny bit of tidying connected with Zorn's Lemma

wenzelm [Wed, 10 Nov 2021 19:45:30 +0100] rev 74748

tuned;

isabelle