Mon, 21 Nov 2022 18:24:55 +0100 removed prod_set_conv attribute from top_empty_eq and top_empty_eq2 draft default tip
desharna [Mon, 21 Nov 2022 18:24:55 +0100] rev 77085
removed prod_set_conv attribute from top_empty_eq and top_empty_eq2
Wed, 23 Nov 2022 11:30:59 +0100 avoided code export error draft
desharna [Wed, 23 Nov 2022 11:30:59 +0100] rev 77084
avoided code export error
Wed, 23 Nov 2022 11:30:59 +0100 avoided code export error draft
desharna [Wed, 23 Nov 2022 11:30:59 +0100] rev 77083
avoided code export error
Wed, 23 Nov 2022 09:54:53 +0100 added lemmas irrefl_on_subset and irreflp_on_subset draft
desharna [Wed, 23 Nov 2022 09:54:53 +0100] rev 77082
added lemmas irrefl_on_subset and irreflp_on_subset
Mon, 21 Nov 2022 14:11:30 +0100 introduced predicates irrefl_on and irreflp_on, and redefined irrefl and irreflp as abbreviations draft
desharna [Mon, 21 Nov 2022 14:11:30 +0100] rev 77081
introduced predicates irrefl_on and irreflp_on, and redefined irrefl and irreflp as abbreviations
Wed, 23 Nov 2022 11:17:40 +0100 started to redefined refl_on draft
desharna [Wed, 23 Nov 2022 11:17:40 +0100] rev 77080
started to redefined refl_on
Wed, 23 Nov 2022 10:27:24 +0100 added lemma totalp_on_converse[simp] draft
desharna [Wed, 23 Nov 2022 10:27:24 +0100] rev 77079
added lemma totalp_on_converse[simp]
Wed, 23 Nov 2022 10:23:18 +0100 added lemmas irrefl_on_converse[simp] and irreflp_on_converse[simp] draft
desharna [Wed, 23 Nov 2022 10:23:18 +0100] rev 77078
added lemmas irrefl_on_converse[simp] and irreflp_on_converse[simp]
Wed, 23 Nov 2022 10:02:04 +0100 added type annotations and tuned formatting draft
desharna [Wed, 23 Nov 2022 10:02:04 +0100] rev 77077
added type annotations and tuned formatting
Wed, 23 Nov 2022 09:57:59 +0100 strengthened and renamed irreflp_greater[simp] and irreflp_less[simp] draft
desharna [Wed, 23 Nov 2022 09:57:59 +0100] rev 77076
strengthened and renamed irreflp_greater[simp] and irreflp_less[simp]
Wed, 23 Nov 2022 11:30:59 +0100 avoided code export error draft
desharna [Wed, 23 Nov 2022 11:30:59 +0100] rev 77075
avoided code export error
Wed, 23 Nov 2022 09:54:53 +0100 added lemmas irrefl_on_subset and irreflp_on_subset draft
desharna [Wed, 23 Nov 2022 09:54:53 +0100] rev 77074
added lemmas irrefl_on_subset and irreflp_on_subset
Mon, 21 Nov 2022 14:11:30 +0100 introduced predicates irrefl_on and irreflp_on, and redefined irrefl and irreflp as abbreviations draft
desharna [Mon, 21 Nov 2022 14:11:30 +0100] rev 77073
introduced predicates irrefl_on and irreflp_on, and redefined irrefl and irreflp as abbreviations
Wed, 23 Nov 2022 11:30:59 +0100 avoided code export error draft
desharna [Wed, 23 Nov 2022 11:30:59 +0100] rev 77072
avoided code export error
Wed, 23 Nov 2022 09:54:53 +0100 added lemmas irrefl_on_subset and irreflp_on_subset draft
desharna [Wed, 23 Nov 2022 09:54:53 +0100] rev 77071
added lemmas irrefl_on_subset and irreflp_on_subset
(0) -30000 -10000 -3000 -1000 -300 -100 -15 tip