--- a/NEWS Tue Dec 20 09:34:37 2022 +0100
+++ b/NEWS Thu Dec 22 21:55:51 2022 +0100
@@ -18,6 +18,9 @@
- Dagstuhl LIPIcs style as session "Demo_LIPIcs" / doc "demo_lipics"
- Springer LaTeX LNCS style as session "Demo_LLNCS" / doc "demo_llncs"
+* Support for interactive document preparation in PIDE, notably via the
+Isabelle/jEdit Document panel.
+
*** HOL ***
@@ -84,11 +87,13 @@
irrefl_onD
irrefl_onI
irrefl_on_converse[simp]
+ irrefl_on_if_asym_on[simp]
irrefl_on_subset
irreflpD
irreflp_onD
irreflp_onI
irreflp_on_converse[simp]
+ irreflp_on_if_asymp_on[simp]
irreflp_on_irrefl_on_eq[pred_set_conv]
irreflp_on_subset
linorder.totalp_on_ge[simp]