diff -r bf6add30ab20 -r dffa657f0aa2 NEWS
--- a/NEWS	Mon Nov 07 14:14:20 2011 +0100
+++ b/NEWS	Mon Nov 07 14:23:50 2011 +0100
@@ -19,6 +19,9 @@
 
 *** HOL ***
 
+* Clarified attribute "mono_set": pure declararation without modifying
+the result of the fact expression.
+
 * "Transitive_Closure.ntrancl": bounded transitive closure on
 relations.