# HG changeset patch
# User wenzelm
# Date 1005944908 -3600
# Node ID 2d5b513199da146d76b1d8f749336d2e1eb3369b
# Parent  02df7cbe7d25610674d430be4d00f860cb292a20
\usepackage[latin1]{inputenc};

diff -r 02df7cbe7d25 -r 2d5b513199da src/ZF/Induct/document/root.tex
--- 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}