--- a/NEWS Mon Sep 19 20:07:39 2016 +0200
+++ b/NEWS Mon Sep 19 23:14:34 2016 +0200
@@ -795,6 +795,9 @@
nn_integral :: 'a measure => ('a => ennreal) => ennreal
INCOMPATIBILITY.
+* Renamed HOL/Quotient_Examples/FSet.thy to
+HOL/Quotient_Examples/Quotient_FSet.thy
+INCOMPATIBILITY.
*** ML ***