--- 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/