--- a/doc-src/Tutorial/basics.tex	Thu Jul 06 00:09:45 2000 +0200
+++ b/doc-src/Tutorial/basics.tex	Thu Jul 06 09:46:56 2000 +0200
@@ -44,10 +44,7 @@
 available online at
 
 \begin{center}\small
-  \begin{tabular}{l}
-    \url{http://www.cl.cam.ac.uk/Research/HVG/Isabelle/library/} \\
-    \url{http://isabelle.in.tum.de/library/} \\
-  \end{tabular}
+    \url{http://isabelle.in.tum.de/library/}
 \end{center}
 
 and is recommended browsing.