README

--- a/README	Sat Jan 16 15:04:31 2016 +0100
+++ b/README	Sat Jan 16 15:57:38 2016 +0100
@@ -34,9 +34,9 @@
    The Isabelle home page may be accessed from Cambridge, Munich, and
    Sydney:
 
-     * http://www.cl.cam.ac.uk/research/hvg/Isabelle/
+     * http://www.cl.cam.ac.uk/research/hvg/Isabelle
      * http://isabelle.in.tum.de
-     * http://mirror.cse.unsw.edu.au/pub/isabelle/index.html
+     * http://mirror.cse.unsw.edu.au/pub/isabelle
 
   Mailing list