diff -r 41dff1b862bf -r 381fdcab0f36 doc-src/HOL/HOL.tex
--- a/doc-src/HOL/HOL.tex	Mon May 02 22:19:28 2011 +0200
+++ b/doc-src/HOL/HOL.tex	Mon May 02 22:31:46 2011 +0200
@@ -1,4 +1,3 @@
-%% $Id$
 \chapter{Higher-Order Logic}
 \index{higher-order logic|(}
 \index{HOL system@{\sc hol} system}