1.1 --- a/src/HOL/Old_Number_Theory/document/root.tex	Tue Sep 01 16:00:57 2009 +0200
     1.2 +++ b/src/HOL/Old_Number_Theory/document/root.tex	Tue Sep 01 16:00:59 2009 +0200
     1.3 @@ -2,6 +2,7 @@
     1.4  \documentclass[11pt,a4paper]{article}
     1.5  \usepackage{graphicx}
     1.6  \usepackage{isabelle,isabellesym,pdfsetup}
     1.7 +\usepackage[latin1]{inputenc}
     1.8  
     1.9  \urlstyle{rm}
    1.10  \isabellestyle{it}