--- a/NEWS Thu Oct 15 22:22:08 2009 +0200
+++ b/NEWS Sat Oct 17 22:58:18 2009 +0200
@@ -23,6 +23,9 @@
to print all interpretations of locale l in the theory. Interpretations
in proofs are not shown.
+* Thoroughly revised locales tutorial. New section on conditional
+interpretation.
+
*** HOL ***