--- a/doc-src/HOL/logics-HOL.tex	Mon May 02 22:19:28 2011 +0200
+++ b/doc-src/HOL/logics-HOL.tex	Mon May 02 22:31:46 2011 +0200
@@ -1,4 +1,3 @@
-%% $Id$
 \documentclass[12pt,a4paper]{report}
 \usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
 \usepackage{graphicx,../iman,../extra,../ttbox,../proof,latexsym,../pdfsetup}