src/HOL/document/root.tex
changeset 73656 299f6a8faccc
parent 72860 65554bac121b
child 73851 aece5cc9efb7
equal deleted inserted replaced
73655:e19cb4c11409 73656:299f6a8faccc
     1 \documentclass[11pt,a4paper]{article}
     1 \documentclass[11pt,a4paper]{article}
       
     2 \usepackage[T1]{fontenc}
     2 \usepackage{graphicx,isabelle,isabellesym,latexsym}
     3 \usepackage{graphicx,isabelle,isabellesym,latexsym}
     3 \usepackage{amsmath}
     4 \usepackage{amsmath}
     4 \usepackage{amssymb}
     5 \usepackage{amssymb}
     5 \usepackage{textcomp}
     6 \usepackage{textcomp}
     6 \usepackage[english]{babel}
     7 \usepackage[english]{babel}
     7 \usepackage[only,bigsqcap]{stmaryrd}
     8 \usepackage[only,bigsqcap]{stmaryrd}
     8 \usepackage[utf8]{inputenc}
       
     9 \usepackage{pdfsetup}
     9 \usepackage{pdfsetup}
    10 
    10 
    11 \urlstyle{rm}
    11 \urlstyle{rm}
    12 \isabellestyle{it}
    12 \isabellestyle{it}
    13 \pagestyle{myheadings}
    13 \pagestyle{myheadings}