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