# 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}