NEWS;

--- a/NEWS	Fri Aug 09 20:30:11 2013 +0200
+++ b/NEWS	Fri Aug 09 20:31:51 2013 +0200
@@ -59,6 +59,9 @@
 * Support for automatic tools in HOL, which try to prove or disprove
 toplevel theorem statements.
 
+* Dockable window "Find" provides query operations for formal entities
+(GUI front-end to 'find_theorems' command).
+
 * Dockable window "Documentation" provides access to Isabelle
 documentation.