--- a/NEWS Sun Jan 15 19:58:57 2006 +0100
+++ b/NEWS Sun Jan 15 20:00:59 2006 +0100
@@ -230,8 +230,8 @@
least one premise.
* 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 determines the search order of single
+weight argument for the rule (just as the Pure versions). Weights are
+ignored by automated rules, but determine the search order of single
rule steps.
* Syntax: input syntax now supports dummy variable binding "%_. b",