summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
raw | gz |
help

author | paulson |

Mon, 12 May 2003 18:50:07 +0200 | |

changeset 14022 | 3407f1b807ce |

parent 14021 | 24bf519625ab |

child 14023 | 180f01d9df2c |

tweaked

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