# HG changeset patch
# User wenzelm
# Date 1130531877 -7200
# Node ID f27022e2ec3ace8cf6e0a47139c0dcb133115250
# Parent  2427edb2e8a2430b926e74bb8e7a3853df5d5dbe
tuned;

diff -r 2427edb2e8a2 -r f27022e2ec3a NEWS
--- a/NEWS	Fri Oct 28 22:32:55 2005 +0200
+++ b/NEWS	Fri Oct 28 22:37:57 2005 +0200
@@ -53,8 +53,8 @@
 `A` and `A ==> B` and `!!x. P x ==> Q x" as well as `P a ==> Q a` etc.
 
 There is also a proof method "fact" which does the same composition
-for explicit goals states, e.g. the following proof texts coincide
-with certain special cases of literal facts:
+for explicit goal states, e.g. the following proof texts coincide with
+certain special cases of literal facts:
 
   have "A" by fact                 ==  note `A`
   have "A ==> B" by fact           ==  note `A ==> B`