src/HOL/document/root.tex
changeset 28246 8fc6ea9a2d8c
parent 28231 7dd07bd7bebd
child 30329 97ce36d801b6
equal deleted inserted replaced
28245:9767dd8e1e54 28246:8fc6ea9a2d8c
     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}
       
     8 \usepackage[only,bigsqcap]{stmaryrd}
     7 \usepackage[only,bigsqcap]{stmaryrd}
     9 \usepackage[latin1]{inputenc}
     8 \usepackage[latin1]{inputenc}
    10 \usepackage{pdfsetup}
     9 \usepackage{pdfsetup}
    11 
    10 
    12 \urlstyle{rm}
    11 \urlstyle{rm}