isabelle: Changelog

paulson <lp15@cam.ac.uk> [Tue, 03 Jan 2023 19:55:24 +0000] rev 76895

Further simplifications

paulson <lp15@cam.ac.uk> [Tue, 03 Jan 2023 17:02:41 +0000] rev 76894

More tidying of proofs

wenzelm [Wed, 04 Jan 2023 13:21:45 +0100] rev 76893

tuned;

wenzelm [Tue, 03 Jan 2023 21:22:24 +0100] rev 76892

merged

wenzelm [Tue, 03 Jan 2023 21:22:04 +0100] rev 76891

discontinued fragile operation;

wenzelm [Tue, 03 Jan 2023 21:18:15 +0100] rev 76890

more robust operations: avoid somewhat fragile Document.Node.Name.master_dir_path;

wenzelm [Tue, 03 Jan 2023 20:46:56 +0100] rev 76889

tuned whitespace;

wenzelm [Tue, 03 Jan 2023 20:34:51 +0100] rev 76888

tuned;

wenzelm [Tue, 03 Jan 2023 17:21:24 +0100] rev 76887

avoid somewhat fragile Document.Node.Name.master_dir_path;

wenzelm [Tue, 03 Jan 2023 16:53:43 +0100] rev 76886

clarified signature: avoid somewhat fragile Document.Node.Name.master_dir_path;

isabelle