isabelle: Changelog

wenzelm [Tue, 06 Jun 2023 21:02:37 +0200] rev 78140

proper trim_context;

wenzelm [Tue, 06 Jun 2023 15:29:43 +0200] rev 78139

proper exception positions;

wenzelm [Tue, 06 Jun 2023 15:12:40 +0200] rev 78138

proper trim_context / transfer, e.g. for Specification.definition;

wenzelm [Tue, 06 Jun 2023 14:19:53 +0200] rev 78137

tuned;

wenzelm [Tue, 06 Jun 2023 11:33:38 +0200] rev 78136

tuned;

wenzelm [Tue, 06 Jun 2023 11:26:59 +0200] rev 78135

tuned signature: more operations;

wenzelm [Tue, 06 Jun 2023 11:07:49 +0200] rev 78134

minor performance tuning: avoid append to end-of-list;

nipkow [Sat, 03 Jun 2023 22:54:24 +1000] rev 78133

TN has enough examples of the bug.

desharna [Fri, 02 Jun 2023 12:14:17 +0200] rev 78132

added lemma ffUnion_fsubset_iff

paulson <lp15@cam.ac.uk> [Thu, 01 Jun 2023 12:08:33 +0100] rev 78131

Even more material from the HOL Light metric space library

isabelle