--- 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>