--- a/NEWS Tue Jun 21 13:39:06 2022 +0200
+++ b/NEWS Tue Jun 21 13:40:35 2022 +0200
@@ -47,6 +47,8 @@
- Added lemmas.
monotone_onD
monotone_onI
+ monotone_on_empty[simp]
+ monotone_on_subset
* Theory "HOL.Relation":
- Added predicate reflp_on and redefined reflp to be an abbreviation.