src/FOL/document/root.tex
changeset 36862 952b2b102a0a
parent 12023 d982f98e0f0d
child 73404 299f6a8faccc
--- a/src/FOL/document/root.tex	Wed May 12 14:02:50 2010 +0200
+++ b/src/FOL/document/root.tex	Wed May 12 14:17:26 2010 +0200
@@ -1,6 +1,3 @@
-
-% $Id$
-
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym}
 \usepackage{pdfsetup}