* Command 'find_theorems': support * wildcard in name: criterion.

--- a/NEWS	Tue Oct 04 16:05:08 2005 +0200
+++ b/NEWS	Tue Oct 04 16:47:39 2005 +0200
@@ -1,6 +1,15 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
+New in this Isabelle release
+----------------------------
+
+*** General ***
+
+* Command 'find_theorems': support "*" wildcard in "name:" criterion.
+
+
+
 New in Isabelle2005 (October 2005)
 ----------------------------------