src/ZF/Induct/document/root.tex
changeset 12225 2d5b513199da
parent 12193 b269a927c137
child 12610 8b9845807f77
equal deleted inserted replaced
12224:02df7cbe7d25 12225:2d5b513199da
     1 
     1 
     2 \documentclass[11pt,a4paper]{article}
     2 \documentclass[11pt,a4paper]{article}
     3 \usepackage{isabelle,isabellesym}
     3 \usepackage{isabelle,isabellesym}
       
     4 \usepackage[latin1]{inputenc}
     4 
     5 
     5 % this should be the last package used
     6 % this should be the last package used
     6 \usepackage{pdfsetup}
     7 \usepackage{pdfsetup}
     7 
     8 
     8 % proper setup for best-style documents
     9 % proper setup for best-style documents