--- a/NEWS Mon Feb 29 22:32:04 2016 +0100
+++ b/NEWS Mon Feb 29 22:34:36 2016 +0100
@@ -178,6 +178,8 @@
dvd_Gcd, dvd_Gcd_nat, dvd_Gcd_int removed in favour of Gcd_greatest
INCOMPATIBILITY.
+* Session HOL-NSA has been renamed to HOL-Nonstandard_Analysis.
+
*** System ***