src/HOL/ex/document/root.tex
changeset 60078 019347f8dc88
parent 55369 713629c2b73c
child 63055 ae0ca486bd3f
equal deleted inserted replaced
60077:55cb9462e602 60078:019347f8dc88
     2 \usepackage{isabelle,isabellesym}
     2 \usepackage{isabelle,isabellesym}
     3 \usepackage[utf8]{inputenc}
     3 \usepackage[utf8]{inputenc}
     4 \usepackage[english]{babel}
     4 \usepackage[english]{babel}
     5 \usepackage{textcomp}
     5 \usepackage{textcomp}
     6 \usepackage{amssymb}
     6 \usepackage{amssymb}
       
     7 \usepackage{wasysym}
     7 \usepackage{pdfsetup}
     8 \usepackage{pdfsetup}
     8 
     9 
     9 \urlstyle{rm}
    10 \urlstyle{rm}
    10 \isabellestyle{it}
    11 \isabellestyle{it}
    11 
    12