isabelle: Changelog

paulson <lp15@cam.ac.uk> [Thu, 20 Oct 2022 12:57:06 +0100] rev 76341

tidying of ugly legacy proofs

paulson <lp15@cam.ac.uk> [Wed, 19 Oct 2022 15:34:41 +0100] rev 76340

Tidying of old and ugly proofs

paulson <lp15@cam.ac.uk> [Wed, 19 Oct 2022 13:41:42 +0100] rev 76339

deleted unused material

paulson <lp15@cam.ac.uk> [Wed, 19 Oct 2022 13:39:00 +0100] rev 76338

A bit of tidying

paulson [Tue, 18 Oct 2022 15:59:15 +0100] rev 76337

merged

paulson <lp15@cam.ac.uk> [Tue, 18 Oct 2022 15:59:01 +0100] rev 76336

Slight tidying of legacy proofs

wenzelm [Tue, 18 Oct 2022 14:15:41 +0200] rev 76335

merged

wenzelm [Tue, 18 Oct 2022 11:31:35 +0200] rev 76334

update naproche component;

wenzelm [Tue, 18 Oct 2022 10:53:55 +0200] rev 76333

Added tag Isabelle2022-RC4 for changeset 8b4108f41c77

wenzelm [Mon, 17 Oct 2022 23:36:08 +0200] rev 76332

rebuild with proper Isabelle version;

isabelle