isabelle: Changelog

wenzelm [Tue, 28 Feb 2023 14:13:50 +0100] rev 77409

tuned whitespace;

paulson [Tue, 28 Feb 2023 11:20:01 +0000] rev 77408

merged

paulson <lp15@cam.ac.uk> [Tue, 28 Feb 2023 11:19:47 +0000] rev 77407

Fixed a presentation error

paulson <lp15@cam.ac.uk> [Mon, 27 Feb 2023 17:09:59 +0000] rev 77406

Importation of basic group theory results, due to Jakob von Raumer from his AFP entry Jordan-Hölder Theorem

wenzelm [Mon, 27 Feb 2023 20:51:47 +0100] rev 77405

tuned whitespace;

wenzelm [Mon, 27 Feb 2023 20:39:08 +0100] rev 77404

tuned;

wenzelm [Mon, 27 Feb 2023 20:30:40 +0100] rev 77403

clarified signature, although "sql" argument is de-facto mandatory;

wenzelm [Mon, 27 Feb 2023 20:25:10 +0100] rev 77402

tuned;

wenzelm [Mon, 27 Feb 2023 20:09:58 +0100] rev 77401

proper SQL (amending 7ab9bac1ca96);

wenzelm [Mon, 27 Feb 2023 15:31:19 +0100] rev 77400

clarified signature: more explicit "synchronized" regions;

isabelle