--- a/src/HOL/Algebra/document/root.tex Sun Mar 21 16:51:37 2010 +0100
+++ b/src/HOL/Algebra/document/root.tex Sun Mar 21 17:12:31 2010 +0100
@@ -1,5 +1,3 @@
-% $Id$
-
\documentclass[11pt,a4paper]{article}
\usepackage{graphicx}
\usepackage{isabelle,isabellesym}