ANNOUNCE
changeset 14022 3407f1b807ce
parent 14021 24bf519625ab
child 14023 180f01d9df2c
     1.1 --- a/ANNOUNCE	Mon May 12 18:42:21 2003 +0200
     1.2 +++ b/ANNOUNCE	Mon May 12 18:50:07 2003 +0200
     1.3 @@ -39,10 +39,10 @@
     1.4     Gray and Kramer)
     1.5  
     1.6   * ZF/Constructible: Gödel's proof of the relative consistency of the axiom
     1.7 -   of choice is mechanized using Isabelle/ZF, following, Kunen's famous
     1.8 +   of choice is mechanized using Isabelle/ZF, following Kunen's well-known
     1.9     textbook "Set Theory". (Paulson)
    1.10  
    1.11 -You may get Isabelle2003 from any of the following mirror sites:
    1.12 +You may get Isabelle2003 from the following mirror sites:
    1.13  
    1.14    Cambridge (UK)    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
    1.15    Munich (Germany)  http://isabelle.in.tum.de/dist/