NEWS

--- a/NEWS	Thu Oct 13 10:44:27 2022 +0200
+++ b/NEWS	Thu Oct 13 14:27:15 2022 +0200
@@ -9,6 +9,10 @@
 
 *** HOL ***
 
+* Theory "HOL.Fun":
+  - Renamed lemma inj_on_strict_subset to image_strict_mono.
+    Minor INCOMPATIBILITY.
+
 * Theory "HOL.Relation":
   - Strengthened lemma total_on_singleton. Minor INCOMPATIBILITY.
   - Added lemmas.