src/HOL/ex/document/root.tex
changeset 40945 b8703f63bfb2
parent 19024 80eb6640f3d5
child 55369 713629c2b73c
equal deleted inserted replaced
40944:fa22ae64ed85 40945:b8703f63bfb2
     1 
     1 
     2 % $Id$
     2 % $Id$
     3 
     3 
     4 \documentclass[11pt,a4paper]{article}
     4 \documentclass[11pt,a4paper]{article}
     5 \usepackage{isabelle,isabellesym}
     5 \usepackage{isabelle,isabellesym}
     6 \usepackage[latin1]{inputenc}
     6 \usepackage[utf8]{inputenc}
     7 \usepackage[english]{babel}
     7 \usepackage[english]{babel}
     8 \usepackage{textcomp}
     8 \usepackage{textcomp}
     9 \usepackage{amssymb}
     9 \usepackage{amssymb}
    10 \usepackage{pdfsetup}
    10 \usepackage{pdfsetup}
    11 
    11