--- a/src/HOL/UNITY/Comp/README.html	Tue Mar 12 21:59:48 2013 +0100
+++ b/src/HOL/UNITY/Comp/README.html	Tue Mar 12 22:22:05 2013 +0100
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <HTML>
 
 <HEAD>
@@ -40,9 +38,6 @@
 level of automation appears to be about the same as in HOL-UNITY by Flemming
 Andersen et al.
 
-<HR>
-<P>Last modified on $Date$
-
 <ADDRESS>
 <A NAME="lcp@cl.cam.ac.uk" HREF="mailto:lcp@cl.cam.ac.uk">lcp@cl.cam.ac.uk</A>
 </ADDRESS>