isabelle: Changelog

wenzelm [Mon, 01 May 2023 13:09:53 +0200] rev 77945

minor performance tuning: more compact, more sharing;

wenzelm [Mon, 01 May 2023 12:18:10 +0200] rev 77944

potential performance tuning: more compact data structure, but less sharing;

paulson <lp15@cam.ac.uk> [Sun, 07 May 2023 14:52:53 +0100] rev 77943

Importation of additional lemmas from metric.ml

paulson <lp15@cam.ac.uk> [Sat, 06 May 2023 12:42:10 +0100] rev 77942

fixes esp to theory presentation

paulson <lp15@cam.ac.uk> [Sat, 06 May 2023 11:10:23 +0100] rev 77941

new material ported from HOL Light's metric.ml

paulson [Thu, 04 May 2023 11:14:07 +0100] rev 77940

merged

paulson <lp15@cam.ac.uk> [Wed, 03 May 2023 11:20:03 +0100] rev 77939

Two new theories containing material ported from HOL Light about abstract topology

nipkow [Thu, 04 May 2023 08:53:45 +1000] rev 77938

merged

nipkow [Thu, 04 May 2023 08:53:08 +1000] rev 77937

streamlined

paulson [Wed, 03 May 2023 10:35:20 +0100] rev 77936

merged

isabelle