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>