src/HOL/document/root.tex
changeset 73851 aece5cc9efb7
parent 73656 299f6a8faccc
equal deleted inserted replaced
73849:e60333aa18ca 73851:aece5cc9efb7
     2 \usepackage[T1]{fontenc}
     2 \usepackage[T1]{fontenc}
     3 \usepackage{graphicx,isabelle,isabellesym,latexsym}
     3 \usepackage{graphicx,isabelle,isabellesym,latexsym}
     4 \usepackage{amsmath}
     4 \usepackage{amsmath}
     5 \usepackage{amssymb}
     5 \usepackage{amssymb}
     6 \usepackage{textcomp}
     6 \usepackage{textcomp}
     7 \usepackage[english]{babel}
       
     8 \usepackage[only,bigsqcap]{stmaryrd}
     7 \usepackage[only,bigsqcap]{stmaryrd}
     9 \usepackage{pdfsetup}
     8 \usepackage{pdfsetup}
    10 
     9 
    11 \urlstyle{rm}
    10 \urlstyle{rm}
    12 \isabellestyle{it}
    11 \isabellestyle{it}