isabelle: Changelog

desharna [Tue, 21 Jun 2022 13:40:35 +0200] rev 75583

added lemmas monotone_on_empty[simp] and monotone_on_subset

desharna [Tue, 21 Jun 2022 13:39:06 +0200] rev 75582

added predicate monotone_on and redefined monotone to be an abbreviation.

wenzelm [Tue, 21 Jun 2022 23:36:16 +0200] rev 75581

merged

wenzelm [Tue, 21 Jun 2022 23:30:19 +0200] rev 75580

NEWS;

wenzelm [Tue, 21 Jun 2022 23:27:26 +0200] rev 75579

support XZ compression in Isabelle/ML;

wenzelm [Tue, 21 Jun 2022 23:05:37 +0200] rev 75578

prefer scalable byte strings;

wenzelm [Tue, 21 Jun 2022 22:17:11 +0200] rev 75577

more scalable byte messages, notably for Scala functions in ML;

wenzelm [Tue, 21 Jun 2022 16:03:00 +0200] rev 75576

tuned comments;

wenzelm [Tue, 21 Jun 2022 15:56:31 +0200] rev 75575

clarified ML pretty printing;

wenzelm [Tue, 21 Jun 2022 15:48:59 +0200] rev 75574

clarified signature: more operations;

isabelle