NEWS

--- a/NEWS	Wed Jul 20 11:11:07 2016 +0200
+++ b/NEWS	Wed Jul 20 11:44:11 2016 +0200
@@ -145,8 +145,8 @@
 "method_facts". This is particularly useful for Eisbach method
 definitions.
 
-* Eisbach provides method "use" to modify the main facts of a given
-method expression, e.g.
+* Proof method "use" allows to modify the main facts of a given method
+expression, e.g.
 
   (use facts in simp)
   (use facts in \<open>simp add: ...\<close>)