--- a/doc-src/Logics/preface.tex Wed Jan 20 17:59:19 1999 +0100
+++ b/doc-src/Logics/preface.tex Wed Jan 20 18:07:34 1999 +0100
@@ -49,7 +49,8 @@
distributed with Isabelle (see the directory \texttt{src}). They are
also available for browsing on the WWW at
\begin{ttbox}
-http://www4.informatik.tu-muenchen.de/~nipkow/isabelle/
+http://www.cl.cam.ac.uk/Research/HVG/Isabelle/library/
+http://isabelle.in.tum.de/library/
\end{ttbox}
Note that this is not necessarily consistent with your local sources!
@@ -58,3 +59,7 @@
Manual} for more information on tactics, packages, etc.
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "logics"
+%%% End: