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