--- a/src/HOL/document/root.tex Sun Jan 13 21:12:43 2002 +0100
+++ b/src/HOL/document/root.tex Sun Jan 13 21:13:27 2002 +0100
@@ -3,6 +3,7 @@
\documentclass[11pt,a4paper]{article}
\usepackage{graphicx,isabelle,isabellesym,latexsym}
+\usepackage[latin1]{inputenc}
\usepackage{pdfsetup}
\urlstyle{rm}