--- a/doc-src/System/present.tex Wed Jan 20 17:59:19 1999 +0100
+++ b/doc-src/System/present.tex Wed Jan 20 18:07:34 1999 +0100
@@ -56,7 +56,8 @@
A complete HTML version of all distributed Isabelle object-logics and
examples may be accessed on the WWW at:
\begin{ttbox}
-http://www4.informatik.tu-muenchen.de/~isabelle/library/
+http://www.cl.cam.ac.uk/Research/HVG/Isabelle/library/
+http://isabelle.in.tum.de/library/
\end{ttbox}
Of course, this is not necessarily consistent with your local version!