isabelle: Changelog

desharna [Wed, 22 Jun 2022 14:52:27 +0200] rev 75585

merged

desharna [Tue, 21 Jun 2022 14:21:55 +0200] rev 75584

added lemmas monotone{,_on}_multp_multp_image_mset

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;

isabelle