tuned;

--- a/NEWS	Sun Jan 15 20:00:59 2006 +0100
+++ b/NEWS	Sun Jan 15 20:04:05 2006 +0100
@@ -231,7 +231,7 @@
 
 * Provers/classical: attributes dest/elim/intro take an optional
 weight argument for the rule (just as the Pure versions).  Weights are
-ignored by automated rules, but determine the search order of single
+ignored by automated tools, but determine the search order of single
 rule steps.
 
 * Syntax: input syntax now supports dummy variable binding "%_. b",