src/HOL/Hoare_Parallel/document/root.tex
changeset 58884 be4d203d35b3
parent 55369 713629c2b73c
child 73595 aece5cc9efb7
equal deleted inserted replaced
58883:fef1df4268d6 58884:be4d203d35b3
     4 \usepackage{isabelle,isabellesym}
     4 \usepackage{isabelle,isabellesym}
     5 \usepackage{pdfsetup}
     5 \usepackage{pdfsetup}
     6 
     6 
     7 \urlstyle{rm}
     7 \urlstyle{rm}
     8 \isabellestyle{it}
     8 \isabellestyle{it}
     9 
       
    10 \renewcommand{\isamarkupheader}[1]{#1}
       
    11 
     9 
    12 \begin{document}
    10 \begin{document}
    13 
    11 
    14 \title{Hoare Logic for Parallel Programs}
    12 \title{Hoare Logic for Parallel Programs}
    15 \author{Leonor Prensa Nieto}
    13 \author{Leonor Prensa Nieto}