diff -r c1143a96f6d7 -r 92958a0b834c Admin/MIRRORS
--- a/Admin/MIRRORS	Wed Sep 21 18:35:31 2005 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-
-* Cambridge (UK)
-http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
-
-* Munich (Germany)
-http://isabelle.in.tum.de/dist/
-
-* New Jersey (USA)
-http://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html
-Dave MacQueen <dbm@research.bell-labs.com>