changeset 11944 | 0594e63e6057 |
parent 11855 | bdae1f29f35d |
child 11945 | 1b540afebf4d |
--- a/src/HOL/Lambda/document/root.tex Fri Oct 26 12:24:19 2001 +0200 +++ b/src/HOL/Lambda/document/root.tex Fri Oct 26 14:02:58 2001 +0200 @@ -3,6 +3,8 @@ \documentclass[11pt,a4paper]{article} \usepackage{graphicx} +\usepackage[english]{babel} +\usepackage[latin1]{inputenc} \usepackage{isabelle,isabellesym,pdfsetup} \isabellestyle{it}