# HG changeset patch
# User paulson
# Date 1052758207 -7200
# Node ID 3407f1b807ce1234dec966e50268b25652e67205
# Parent  24bf519625abb98e196eb5fc00189aa23a8a8736
tweaked

diff -r 24bf519625ab -r 3407f1b807ce ANNOUNCE
--- a/ANNOUNCE	Mon May 12 18:42:21 2003 +0200
+++ b/ANNOUNCE	Mon May 12 18:50:07 2003 +0200
@@ -39,10 +39,10 @@
    Gray and Kramer)
 
  * ZF/Constructible: Gödel's proof of the relative consistency of the axiom
-   of choice is mechanized using Isabelle/ZF, following, Kunen's famous
+   of choice is mechanized using Isabelle/ZF, following Kunen's well-known
    textbook "Set Theory". (Paulson)
 
-You may get Isabelle2003 from any of the following mirror sites:
+You may get Isabelle2003 from the following mirror sites:
 
   Cambridge (UK)    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
   Munich (Germany)  http://isabelle.in.tum.de/dist/