isabelle: Changelog

wenzelm [Fri, 07 Jul 2023 10:39:28 +0200] rev 78257

disable lxbroy10 for now: technical problems with cooling;

paulson <lp15@cam.ac.uk> [Wed, 05 Jul 2023 16:50:07 +0100] rev 78256

A couple of new lemmas involving cardinality

wenzelm [Wed, 05 Jul 2023 15:01:46 +0200] rev 78255

merged

wenzelm [Wed, 05 Jul 2023 14:33:32 +0200] rev 78254

tuned;

wenzelm [Wed, 05 Jul 2023 14:33:13 +0200] rev 78253

more robust;

wenzelm [Wed, 05 Jul 2023 13:41:45 +0200] rev 78252

proper build_progress for local messages;

wenzelm [Wed, 05 Jul 2023 11:27:36 +0200] rev 78251

proper SQL query;

paulson <lp15@cam.ac.uk> [Tue, 04 Jul 2023 12:53:01 +0100] rev 78250

Another tranche of HOL Light material on metric and topological spaces

paulson [Mon, 03 Jul 2023 16:46:37 +0100] rev 78249

merged

paulson <lp15@cam.ac.uk> [Mon, 03 Jul 2023 11:45:59 +0100] rev 78248

EXPERIMENTAL replacement of f ` A <= B by f : A -> B in Analysis

isabelle