tuned;
authorwenzelm
Fri Oct 28 22:37:57 2005 +0200 (2005-10-28)
changeset 18044f27022e2ec3a
parent 18043 2427edb2e8a2
child 18045 6d69a4190eb2
tuned;
NEWS
     1.1 --- a/NEWS	Fri Oct 28 22:32:55 2005 +0200
     1.2 +++ b/NEWS	Fri Oct 28 22:37:57 2005 +0200
     1.3 @@ -53,8 +53,8 @@
     1.4  `A` and `A ==> B` and `!!x. P x ==> Q x" as well as `P a ==> Q a` etc.
     1.5  
     1.6  There is also a proof method "fact" which does the same composition
     1.7 -for explicit goals states, e.g. the following proof texts coincide
     1.8 -with certain special cases of literal facts:
     1.9 +for explicit goal states, e.g. the following proof texts coincide with
    1.10 +certain special cases of literal facts:
    1.11  
    1.12    have "A" by fact                 ==  note `A`
    1.13    have "A ==> B" by fact           ==  note `A ==> B`