diff -r f0fdd0499dad -r 3470596f3cd5 Admin/MIRRORS
--- a/Admin/MIRRORS	Fri Aug 02 21:40:47 2002 +0200
+++ b/Admin/MIRRORS	Mon Aug 05 12:00:51 2002 +0200
@@ -8,7 +8,3 @@
 * New Jersey (USA)
 http://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html
 Dave MacQueen <dbm@research.bell-labs.com>
-
-* Stanford (USA) (??)
-ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html
-Lal George (??)