src/HOL/Library/Library/document/root.tex
changeset 26590 9114b5fe533a
parent 23101 1a05d89feeaf
child 31975 366ad09d39ef
equal deleted inserted replaced
26589:43cb72871897 26590:9114b5fe533a
     2 % $Id$
     2 % $Id$
     3 
     3 
     4 \documentclass[11pt,a4paper]{article}
     4 \documentclass[11pt,a4paper]{article}
     5 \usepackage{ifthen}
     5 \usepackage{ifthen}
     6 \usepackage[latin1]{inputenc}
     6 \usepackage[latin1]{inputenc}
       
     7 \usepackage[english]{babel}
     7 \usepackage{isabelle,isabellesym,amssymb}
     8 \usepackage{isabelle,isabellesym,amssymb}
     8 \usepackage{pdfsetup}
     9 \usepackage{pdfsetup}
     9 
    10 
    10 \urlstyle{rm}
    11 \urlstyle{rm}
    11 \isabellestyle{it}
    12 \isabellestyle{it}