NEWS

--- a/NEWS	Mon May 19 13:53:58 2014 +0200
+++ b/NEWS	Mon May 19 14:26:58 2014 +0200
@@ -733,6 +733,13 @@
     integral_cmul_indicator
     integral_real
 
+  - Renamed positive_integral to nn_integral:
+
+    * Renamed all lemmas "*positive_integral*" to *nn_integral*"
+      positive_integral_positive ~> nn_integral_nonneg
+
+    * Renamed abbreviation integral\<^sup>P to integral\<^sup>N.
+
 *** Scala ***
 
 * The signature and semantics of Document.Snapshot.cumulate_markup /