summary |
shortlog |
changelog |
graph |
tags |
branches |
files |
changeset |
file |
revisions |
annotate |
diff |
raw

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/