--- a/NEWS Sun Oct 09 16:10:52 2022 +0200
+++ b/NEWS Sun Oct 09 16:24:50 2022 +0200
@@ -11,7 +11,9 @@
* Theory "HOL.Relation":
- Strengthened total_on_singleton. Minor INCOMPATIBILITY.
- - Added lemma.
+ - Added lemmas.
+ antisym_if_asymp
+ antisymp_if_asymp
totalp_on_singleton[simp]