--- a/NEWS Mon Dec 19 11:25:37 2022 +0100
+++ b/NEWS Mon Dec 19 11:26:56 2022 +0100
@@ -118,6 +118,8 @@
* Theory "HOL.Wellfounded":
- Added lemmas.
+ asym_lex_prod[simp]
+ asym_on_lex_prod[simp]
irrefl_lex_prod[simp]
irrefl_on_lex_prod[simp]
sym_lex_prod[simp]