--- a/Admin/page/dist-content/docs.content Mon Mar 04 13:56:12 2002 +0100
+++ b/Admin/page/dist-content/docs.content Mon Mar 04 14:27:10 2002 +0100
@@ -8,8 +8,7 @@
Isabelle distribution. For getting started with Isabelle quickly, we
recommend the <a href="tutorial.pdf">Tutorial on Isabelle/HOL</a> --
published by Springer Verlag as <a
-href="http://link.springer.de/link/service/series/0558/tocs/t2283.htm">LNCS
-2283</a>.
+href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>.
<!-- _GP_ include("$pwd/docu-contents.dist") -->