doc-src/TutorialI/tutorial.tex
changeset 9016 d61c76716984
parent 8847 d6c92979fa51
child 9644 6b0b6b471855
equal deleted inserted replaced
9015:8006e9009621 9016:d61c76716984
     1 
       
     2 \documentclass[11pt,a4paper]{report}
     1 \documentclass[11pt,a4paper]{report}
     3 \usepackage{isabelle,isabellesym}
     2 \usepackage{isabelle,isabellesym}
     4 \usepackage{latexsym,verbatim,graphicx,../iman,extra,comment}
     3 \usepackage{latexsym,verbatim,graphicx,../iman,extra,comment}
     5 \usepackage{../pdfsetup}    %last package!
     4 \usepackage{../pdfsetup}    %last package!
     6 
     5