Mon, 21 Nov 2022 13:48:58 +0100 | desharna | renamed lemmas linorder.totalp_on_(ge|greater|le|less) and preorder.reflp_(ge|le) | file | diff | annotate |
Wed, 09 Nov 2022 16:36:22 +0100 | desharna | added lemma reflp_on_conversp[simp] | file | diff | annotate |
Wed, 09 Nov 2022 15:38:43 +0100 | desharna | added lemma transp_reflclp[simp] | file | diff | annotate |
Wed, 09 Nov 2022 15:37:21 +0100 | desharna | added lemma reflclp_ident_if_reflp[simp] | file | diff | annotate |
Wed, 09 Nov 2022 16:39:45 +0100 | desharna | added lemma reflp_on_reflclp[simp] | file | diff | annotate |
Wed, 09 Nov 2022 16:45:12 +0100 | desharna | strengthened lemma reflp_rtranclp and renamed to reflp_on_rtranclp | file | diff | annotate |
Sun, 06 Nov 2022 22:17:28 +0100 | wenzelm | support for EPTCS style with demo document; | file | diff | annotate |