diff -r c3eb0b517ced -r 237190475d79 src/HOL/Algebra/README.html
--- a/src/HOL/Algebra/README.html	Mon Mar 25 19:53:44 2013 +0100
+++ b/src/HOL/Algebra/README.html	Mon Mar 25 19:53:44 2013 +0100
@@ -51,7 +51,7 @@
 
 <H2>Rings and Polynomials</H2>
 
-<UL><LI>Theory <A HREF="CRing.html"><CODE>CRing</CODE></A>
+<UL><LI>Theory <A HREF="Ring.html"><CODE>CRing</CODE></A>
 defines Abelian monoids and groups.  The difference to commutative
       structures is merely notational:  the binary operation is
       addition rather than multiplication.  Commutative rings are
@@ -108,10 +108,10 @@
 <P>[Jacobson1985] Nathan Jacobson, Basic Algebra I, Freeman, 1985.
 
 <P>[Ballarin1999] Clemens Ballarin, Computer Algebra and Theorem Proving,
-  Author's <A HREF="http://www4.in.tum.de/~ballarin/publications.html">PhD thesis</A>, 1999.
+  Author's PhD thesis, 1999.  Also University of Cambridge, Computer Laboratory Technical Report number 473.
 
 <ADDRESS>
-<P><A HREF="http://www4.in.tum.de/~ballarin">Clemens Ballarin</A>.
+<P><A HREF="http://www21.in.tum.de/~ballarin">Clemens Ballarin</A>.
 </ADDRESS>
 </BODY>
 </HTML>