--- a/src/HOL/Isar_examples/document/root.tex Mon Jun 22 22:51:08 2009 +0200 +++ b/src/HOL/Isar_examples/document/root.tex Mon Jun 22 23:48:24 2009 +0200 @@ -1,6 +1,3 @@ - -% $Id$ - \input{style} \hyphenation{Isabelle}