--- a/NEWS Mon Dec 19 16:12:17 2022 +0100
+++ b/NEWS Mon Dec 19 16:20:57 2022 +0100
@@ -145,6 +145,7 @@
refl_lex_prod[simp]
sym_lex_prod[simp]
sym_on_lex_prod[simp]
+ trans_on_lex_prod[simp]
wfP_if_convertible_to_nat
wfP_if_convertible_to_wfP
wf_if_convertible_to_wf