src/HOL/document/root.tex
changeset 40945 b8703f63bfb2
parent 30329 97ce36d801b6
child 58888 9537bf1c4853
equal deleted inserted replaced
40944:fa22ae64ed85 40945:b8703f63bfb2
     1 
     1 
     2 \documentclass[11pt,a4paper]{article}
     2 \documentclass[11pt,a4paper]{article}
     3 \usepackage{graphicx,isabelle,isabellesym,latexsym}
     3 \usepackage{graphicx,isabelle,isabellesym,latexsym}
     4 \usepackage{amssymb}
     4 \usepackage{amssymb}
       
     5 \usepackage{textcomp}
     5 \usepackage[english]{babel}
     6 \usepackage[english]{babel}
     6 \usepackage[only,bigsqcap]{stmaryrd}
     7 \usepackage[only,bigsqcap]{stmaryrd}
     7 \usepackage[latin1]{inputenc}
     8 \usepackage[utf8]{inputenc}
     8 \usepackage{pdfsetup}
     9 \usepackage{pdfsetup}
     9 
    10 
    10 \urlstyle{rm}
    11 \urlstyle{rm}
    11 \isabellestyle{it}
    12 \isabellestyle{it}
    12 \pagestyle{myheadings}
    13 \pagestyle{myheadings}