\usepackage[latin1]{inputenc};

--- a/src/ZF/Induct/document/root.tex	Fri Nov 16 18:24:11 2001 +0100
+++ b/src/ZF/Induct/document/root.tex	Fri Nov 16 22:08:28 2001 +0100
@@ -1,6 +1,7 @@
 
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym}
+\usepackage[latin1]{inputenc}
 
 % this should be the last package used
 \usepackage{pdfsetup}