--- a/NEWS Wed May 13 13:00:03 2020 +0200
+++ b/NEWS Thu May 14 10:26:33 2020 +0100
@@ -42,6 +42,10 @@
* For the natural numbers, Sup{} = 0.
+*** FOL ***
+
+* Added the "at most 1" quantifier, Uniq, as in HOL.
+
New in Isabelle2020 (April 2020)
--------------------------------