src/HOL/document/root.tex
changeset 28231 7dd07bd7bebd
parent 17159 d5060118122e
child 28246 8fc6ea9a2d8c
equal deleted inserted replaced
28230:87feb146d3d1 28231:7dd07bd7bebd
     2 % $Id$
     2 % $Id$
     3 
     3 
     4 \documentclass[11pt,a4paper]{article}
     4 \documentclass[11pt,a4paper]{article}
     5 \usepackage{graphicx,isabelle,isabellesym,latexsym}
     5 \usepackage{graphicx,isabelle,isabellesym,latexsym}
     6 \usepackage{amssymb}
     6 \usepackage{amssymb}
       
     7 \usepackage[english]{babel}
     7 \usepackage[only,bigsqcap]{stmaryrd}
     8 \usepackage[only,bigsqcap]{stmaryrd}
     8 \usepackage[latin1]{inputenc}
     9 \usepackage[latin1]{inputenc}
     9 \usepackage{pdfsetup}
    10 \usepackage{pdfsetup}
    10 
    11 
    11 \urlstyle{rm}
    12 \urlstyle{rm}