diff -r 2ff3a5589b05 -r 90a598019aeb src/HOL/Algebra/README.html
--- a/src/HOL/Algebra/README.html	Tue Mar 12 21:59:48 2013 +0100
+++ b/src/HOL/Algebra/README.html	Tue Mar 12 22:22:05 2013 +0100
@@ -110,9 +110,6 @@
 <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.
 
-<HR>
-<P>Last modified on $Date$
-
 <ADDRESS>
 <P><A HREF="http://www4.in.tum.de/~ballarin">Clemens Ballarin</A>.
 </ADDRESS>