--- a/NEWS Mon Feb 22 07:49:51 2021 +0000
+++ b/NEWS Mon Feb 22 18:28:12 2021 +0000
@@ -3,16 +3,15 @@
(Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
+
+New in this Isabelle version
+----------------------------
+
*** HOL ***
* Theory Multiset: dedicated predicate "multiset" is gone, use
explict expression instead. Minor INCOMPATIBILITY.
-New in this Isabelle version
-----------------------------
-
-*** HOL ***
-
* HOL-Analysis/HOL-Probability: indexed products of discrete
distributions, negative binomial distribution, Hoeffding's inequality,
Chernoff bounds, Cauchy–Schwarz inequality for nn_integral, and some