--- 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.