
diff -r 69937e62a28e -r 4882d65cc716 src/HOL/Unix/document/root.tex
--- a/src/HOL/Unix/document/root.tex	Tue Jan 23 18:13:00 2001 +0100
+++ b/src/HOL/Unix/document/root.tex	Tue Jan 23 18:17:14 2001 +0100
@@ -54,8 +54,7 @@
 \cite{Unix-heritage} for further historical background information.  Here is a
 recent account of the philosophical principles behind the Unix way of software
 and systems engineering.\footnote{This has appeared on \emph{Slashdot} on
-  25-March-2000, see \url{http://slashdot.com}, as well as
-  \url{http://www.cix.co.uk/~dunnp/unix-philosophy.html}.}
+  25-March-2000, see \url{http://slashdot.com}.}
 
 {\small
 \begin{verbatim}




