--- a/doc-src/TutorialI/preface.tex Wed Dec 19 11:13:27 2001 +0100
+++ b/doc-src/TutorialI/preface.tex Wed Dec 19 13:21:12 2001 +0100
@@ -48,7 +48,7 @@
derived almost entirely from output generated in this way.
Isabelle's
-\href{http://www.cl.cam.ac.uk/Research/HVG/Isabelle/}{web site}
+\href{http://isabelle.in.tum.de/}{web site}
contains links to the download area and to documentation and other
information. Most Isabelle sessions are now run from within David
Aspinall's wonderful user interface,