NEWS

--- a/NEWS	Sat Oct 08 18:35:53 2022 +0200
+++ b/NEWS	Sun Oct 09 16:10:52 2022 +0200
@@ -7,6 +7,12 @@
 New in this Isabelle version
 ----------------------------
 
+*** HOL ***
+
+* Theory "HOL.Relation":
+  - Strengthened total_on_singleton. Minor INCOMPATIBILITY.
+  - Added lemma.
+      totalp_on_singleton[simp]
 
 
 New in Isabelle2022 (October 2022)