NEWS
Tue, 06 Dec 2022 08:50:57 +0100 desharna NEWS
Thu, 24 Nov 2022 10:02:26 +0100 desharna added lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp
Wed, 23 Nov 2022 10:27:24 +0100 desharna added lemma totalp_on_converse[simp]
Wed, 23 Nov 2022 10:23:18 +0100 desharna added lemmas irrefl_on_converse[simp] and irreflp_on_converse[simp]
Wed, 23 Nov 2022 10:02:04 +0100 desharna added type annotations and tuned formatting
Wed, 23 Nov 2022 09:57:59 +0100 desharna strengthened and renamed irreflp_greater[simp] and irreflp_less[simp]
Wed, 23 Nov 2022 09:54:53 +0100 desharna added lemmas irrefl_on_subset and irreflp_on_subset
Mon, 21 Nov 2022 14:11:30 +0100 desharna introduced predicates irrefl_on and irreflp_on, and redefined irrefl and irreflp as abbreviations
Mon, 21 Nov 2022 13:53:04 +0100 desharna strengthened and renamed lemma reflp_on_equality
Mon, 21 Nov 2022 13:48:58 +0100 desharna renamed lemmas linorder.totalp_on_(ge|greater|le|less) and preorder.reflp_(ge|le)
Wed, 09 Nov 2022 16:36:22 +0100 desharna added lemma reflp_on_conversp[simp]
Wed, 09 Nov 2022 15:38:43 +0100 desharna added lemma transp_reflclp[simp]
Wed, 09 Nov 2022 15:37:21 +0100 desharna added lemma reflclp_ident_if_reflp[simp]
Wed, 09 Nov 2022 16:39:45 +0100 desharna added lemma reflp_on_reflclp[simp]
Wed, 09 Nov 2022 16:45:12 +0100 desharna strengthened lemma reflp_rtranclp and renamed to reflp_on_rtranclp
Sun, 06 Nov 2022 22:17:28 +0100 wenzelm support for EPTCS style with demo document;
Sat, 05 Nov 2022 22:45:26 +0100 wenzelm tuned NEWS;
Sat, 05 Nov 2022 22:35:20 +0100 wenzelm support for Dotnet / Fsharp platform, via dynamically installed Isabelle component;
Fri, 04 Nov 2022 20:15:54 +0100 wenzelm support for Springer LLNCS with demo document;
Wed, 02 Nov 2022 18:58:38 +0100 desharna merged
Fri, 28 Oct 2022 15:39:35 +0200 desharna added lemmas multp_mono_strong and mult_mono_strong
Mon, 31 Oct 2022 21:44:34 +0100 wenzelm support for FoilTeX with demo document;
Mon, 31 Oct 2022 17:10:13 +0100 wenzelm support for Easychair style with demo document;
Mon, 31 Oct 2022 15:50:13 +0100 wenzelm support for Dagstuhl LIPIcs style with demo document;
Fri, 21 Oct 2022 16:39:31 +0200 wenzelm generic support for XZ and Zstd compression in Isabelle/Scala;
Tue, 18 Oct 2022 14:15:41 +0200 wenzelm merged
Mon, 17 Oct 2022 16:10:45 +0200 wenzelm more NEWS;
Sat, 15 Oct 2022 16:34:19 +0200 desharna added lemma wfP_subset_mset[simp]
less more (0) -3000 -1000 -300 -100 -50 -28 tip