http://isabelle.in.tum.de/dist/;

--- a/Admin/index.html	Wed Jan 20 10:33:34 1999 +0100
+++ b/Admin/index.html	Wed Jan 20 17:59:19 1999 +0100
@@ -27,9 +27,7 @@
 <li> <a href="http://ciumix.ci.uminho.pt/mirrors/isabelle/">Minho
 (Portugal)</a>
 
-<li> <a
-href="http://www4.informatik.tu-muenchen.de/~isabelle/dist/">Munich
-(Germany)</a>
+<li> <a href="http://isabelle.in.tum.de/dist/">Munich (Germany)</a>
 
 <li> <a
 href="ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/index.html">New