--- a/NEWS Mon May 30 10:23:15 2005 +0200
+++ b/NEWS Mon May 30 10:25:46 2005 +0200
@@ -96,7 +96,7 @@
dest select theorems that match the current goal, name:s selects
theorems whose fully qualified name contain s, and simp:term selects
all simplification rules whose lhs match term. Any other term is
- interpreted as pattern and selects all theorem matching the
+ interpreted as pattern and selects all theorems matching the
pattern. Available in ProofGeneral under 'ProofGeneral -> Find
Theorems' or C-c C-f.