Admin/index.html

--- a/Admin/index.html	Wed Feb 18 11:31:25 1998 +0100
+++ b/Admin/index.html	Wed Feb 18 17:32:18 1998 +0100
@@ -28,7 +28,9 @@
 href="http://www4.informatik.tu-muenchen.de/~isabelle/dist/">Munich
 (Germany)</a>
 
-<!-- <li> <a href="">New Jersey (USA)</a> -->
+<li> <a
+href="ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/index.html">New
+Jersey (USA)</a>
 
 </ul>