desharna [Thu, 13 Mar 2025 14:47:56 +0100] rev 82255
fixed NEWS
desharna [Thu, 13 Mar 2025 14:47:32 +0100] rev 82254
added lemma quotient_disj_strong
desharna [Thu, 13 Mar 2025 10:39:41 +0100] rev 82253
strengthened sym_trans_comp_subset
desharna [Thu, 13 Mar 2025 09:48:39 +0100] rev 82252
added lemmas irrefl_relation_ofD, refl_relation_ofD, total_relation_ofD
desharna [Thu, 13 Mar 2025 09:41:56 +0100] rev 82251
added lemmas antisym_relation_of[simp], asym_relation_of[simp], sym_relation_of[simp], trans_relation_of[simp]
desharna [Wed, 12 Mar 2025 21:53:25 +0100] rev 82250
merged
desharna [Wed, 12 Mar 2025 19:26:59 +0100] rev 82249
NEWS
desharna [Tue, 11 Mar 2025 10:20:44 +0100] rev 82248
changed definition of refl_on
desharna [Fri, 07 Mar 2025 16:16:08 +0100] rev 82247
disabled tactic_provers in Sledgehammer
nipkow [Thu, 06 Mar 2025 08:16:46 +0100] rev 82246
Additions by Peter Gammie