# HG changeset patch
# User haftmann
# Date 1614018492 0
# Node ID ce4fe0b1cfdac0c31b3a5fa70bd8836102495294
# Parent  05a873f90655aff0c823b54718512cf7c03738cb
NEWS

diff -r 05a873f90655 -r ce4fe0b1cfda NEWS
--- 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