isabelle: Changelog

wenzelm [Mon, 05 Dec 2022 15:36:03 +0100] rev 76562

tuned messages: implement "verbose = false", but there is no theory output anyway;

desharna [Mon, 05 Dec 2022 16:43:57 +0100] rev 76561

merged

desharna [Wed, 23 Nov 2022 09:54:53 +0100] rev 76560

added lemmas irrefl_on_subset and irreflp_on_subset

desharna [Mon, 21 Nov 2022 14:11:30 +0100] rev 76559

introduced predicates irrefl_on and irreflp_on, and redefined irrefl and irreflp as abbreviations

wenzelm [Mon, 05 Dec 2022 15:19:52 +0100] rev 76558

tuned messages;

wenzelm [Mon, 05 Dec 2022 14:47:08 +0100] rev 76557

tuned message;

wenzelm [Mon, 05 Dec 2022 12:17:56 +0100] rev 76556

tuned messages and options;

desharna [Sun, 04 Dec 2022 18:49:58 +0100] rev 76555

merged

desharna [Mon, 21 Nov 2022 18:24:55 +0100] rev 76554

removed prod_set_conv attribute from top_empty_eq and top_empty_eq2

wenzelm [Sun, 04 Dec 2022 14:24:42 +0100] rev 76553

discontinued "unzip" executable (see also eb96243a25c5 and 662de910a96b);

isabelle