--- a/src/HOL/Hoare/README.html Wed Aug 11 18:22:14 2010 +0200
+++ b/src/HOL/Hoare/README.html Wed Aug 11 18:41:06 2010 +0200
@@ -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>