NEWS

--- a/NEWS	Sun Oct 09 16:24:50 2022 +0200
+++ b/NEWS	Mon Oct 10 13:42:14 2022 +0200
@@ -10,10 +10,12 @@
 *** HOL ***
 
 * Theory "HOL.Relation":
-  - Strengthened total_on_singleton. Minor INCOMPATIBILITY.
+  - Strengthened lemma total_on_singleton. Minor INCOMPATIBILITY.
   - Added lemmas.
       antisym_if_asymp
       antisymp_if_asymp
+      irreflD
+      irreflpD
       totalp_on_singleton[simp]