diff -r 4653d0835e6e -r 00fcff12c59f NEWS
--- a/NEWS	Sat Nov 21 23:02:12 2015 +0100
+++ b/NEWS	Sun Nov 22 13:33:38 2015 +0100
@@ -155,8 +155,8 @@
 statements: result is abstracted over unknowns.
 
 * Local goals ('have', 'show', 'hence', 'thus') allow structured
-statements like fixes/assumes/shows in theorem specifications, but the
-notation is postfix with keywords 'if' (or 'when') and 'for'. For
+rule statements like fixes/assumes/shows in theorem specifications, but
+the notation is postfix with keywords 'if' (or 'when') and 'for'. For
 example:
 
   have result: "C x y"
@@ -178,8 +178,8 @@
 The keyword 'when' may be used instead of 'if', to indicate 'presume'
 instead of 'assume' above.
 
-* Assumptions ('assume', 'presume') allow structured statements using
-'if' and 'for', similar to 'have' etc. above. For example:
+* Assumptions ('assume', 'presume') allow structured rule statements
+using 'if' and 'for', similar to 'have' etc. above. For example:
 
   assume result: "C x y"
     if "A x" and "B y"