isabelle: Changelog

paulson <lp15@cam.ac.uk> [Tue, 27 Sep 2022 22:57:30 +0100] rev 76218

added a couple of structured proofs

paulson <lp15@cam.ac.uk> [Tue, 27 Sep 2022 18:02:34 +0100] rev 76217

More obsolete "unfold" calls

paulson <lp15@cam.ac.uk> [Tue, 27 Sep 2022 17:54:20 +0100] rev 76216

getting rid of apply (unfold ...)

paulson <lp15@cam.ac.uk> [Tue, 27 Sep 2022 17:46:52 +0100] rev 76215

More syntactic cleanup. LaTeX markup working

paulson <lp15@cam.ac.uk> [Tue, 27 Sep 2022 17:03:23 +0100] rev 76214

more modernisation of syntax

paulson <lp15@cam.ac.uk> [Tue, 27 Sep 2022 16:51:35 +0100] rev 76213

Removal of obsolete ASCII syntax

wenzelm [Tue, 27 Sep 2022 13:34:54 +0200] rev 76212

clarified options;

wenzelm [Mon, 26 Sep 2022 20:40:37 +0200] rev 76211

merged

wenzelm [Mon, 26 Sep 2022 20:40:19 +0200] rev 76210

provide missing LaTeX macro, e.g. for AFP/PAC_Checker;

wenzelm [Mon, 26 Sep 2022 11:30:44 +0200] rev 76209

clarified signature;

isabelle