--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/MIRRORS Thu Apr 29 15:34:43 1999 +0200
@@ -0,0 +1,14 @@
+
+* Cambridge (UK)
+http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
+
+* Minho (Portugal) -- CURRENTLY DISABLED
+http://ciumix.ci.uminho.pt/mirrors/isabelle/
+archive@ci.uminho.pt, sergio@ci.uminho.pt
+
+* Munich (Germany)
+http://isabelle.in.tum.de/dist/
+
+* New Jersey (USA)
+ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/index.html
+Dave MacQueen <dbm@research.bell-labs.com>