src/HOL/document/root.tex
changeset 40945 b8703f63bfb2
parent 30329 97ce36d801b6
child 58888 9537bf1c4853
     1.1 --- a/src/HOL/document/root.tex	Fri Dec 03 20:26:57 2010 +0100
     1.2 +++ b/src/HOL/document/root.tex	Fri Dec 03 20:38:58 2010 +0100
     1.3 @@ -2,9 +2,10 @@
     1.4  \documentclass[11pt,a4paper]{article}
     1.5  \usepackage{graphicx,isabelle,isabellesym,latexsym}
     1.6  \usepackage{amssymb}
     1.7 +\usepackage{textcomp}
     1.8  \usepackage[english]{babel}
     1.9  \usepackage[only,bigsqcap]{stmaryrd}
    1.10 -\usepackage[latin1]{inputenc}
    1.11 +\usepackage[utf8]{inputenc}
    1.12  \usepackage{pdfsetup}
    1.13  
    1.14  \urlstyle{rm}