--- a/src/HOL/Matrix/document/root.tex Wed May 12 14:02:50 2010 +0200 +++ b/src/HOL/Matrix/document/root.tex Wed May 12 14:17:26 2010 +0200 @@ -1,6 +1,3 @@ - -% $Id$ - \documentclass[11pt,a4paper]{article} \usepackage{isabelle,isabellesym}