isabelle: Changelog

desharna [Mon, 21 Nov 2022 18:23:32 +0100] rev 76523

merged

desharna [Mon, 21 Nov 2022 13:53:04 +0100] rev 76522

strengthened and renamed lemma reflp_on_equality

desharna [Mon, 21 Nov 2022 13:48:58 +0100] rev 76521

renamed lemmas linorder.totalp_on_(ge|greater|le|less) and preorder.reflp_(ge|le)

paulson <lp15@cam.ac.uk> [Mon, 21 Nov 2022 16:21:49 +0000] rev 76520

Added an example for Isabelle/CTT

wenzelm [Sun, 20 Nov 2022 23:53:39 +0100] rev 76519

clarified signature;

wenzelm [Sun, 20 Nov 2022 23:37:54 +0100] rev 76518

clarified signature: more explicit types;

wenzelm [Sun, 13 Nov 2022 21:59:19 +0100] rev 76517

tuned output;

wenzelm [Sun, 13 Nov 2022 21:31:45 +0100] rev 76516

prefer sorted result;

wenzelm [Sun, 13 Nov 2022 20:45:49 +0100] rev 76515

separate style for re-use;

wenzelm [Sun, 13 Nov 2022 20:28:39 +0100] rev 76514

ML support for the Prism.js syntax highlighter -- via Isabelle/Scala;

isabelle