# HG changeset patch
# User wenzelm
# Date 1008365293 -3600
# Node ID b461efcfc886dbbde67e27378fada8c70dec4d22
# Parent  698394a2a47f1b045eacb47e23f4d1284b9c9a1b
\usepackage[latin1]{inputenc};

diff -r 698394a2a47f -r b461efcfc886 src/HOL/ex/document/root.tex
--- a/src/HOL/ex/document/root.tex	Fri Dec 14 22:27:58 2001 +0100
+++ b/src/HOL/ex/document/root.tex	Fri Dec 14 22:28:13 2001 +0100
@@ -3,6 +3,7 @@
 
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym}
+\usepackage[latin1]{inputenc}
 \usepackage[english]{babel}
 \usepackage{textcomp}
 \usepackage{pdfsetup}