changeset 12509 | b461efcfc886 |
parent 12357 | f7fa60115e4e |
child 15871 | e524119dbf19 |
--- 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}