src/HOL/Hoare_Parallel/document/root.tex
changeset 55369 713629c2b73c
parent 32621 a073cb249a06
child 58884 be4d203d35b3
equal deleted inserted replaced
55368:ec7dae620736 55369:713629c2b73c
     1 
       
     2 % $Id$
       
     3 
       
     4 \documentclass[11pt,a4paper]{report}
     1 \documentclass[11pt,a4paper]{report}
     5 \usepackage{graphicx}
     2 \usepackage{graphicx}
     6 \usepackage[english]{babel}
     3 \usepackage[english]{babel}
     7 \usepackage{isabelle,isabellesym}
     4 \usepackage{isabelle,isabellesym}
     8 \usepackage{pdfsetup}
     5 \usepackage{pdfsetup}