Adding root.tex for HoareParallel
authorprensani
Tue Mar 05 17:14:11 2002 +0100 (2002-03-05)
changeset 13021cd0075346431
parent 13020 791e3b4c4039
child 13022 b115b305612f
Adding root.tex for HoareParallel
src/HOL/HoareParallel/document/root.tex
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/HOL/HoareParallel/document/root.tex	Tue Mar 05 17:14:11 2002 +0100
     1.3 @@ -0,0 +1,28 @@
     1.4 +
     1.5 +\documentclass[11pt,a4paper]{book}
     1.6 +\usepackage{isabelle,isabellesym,pdfsetup}
     1.7 +\usepackage[english]{babel}
     1.8 +
     1.9 +%for best-style documents ...
    1.10 +\urlstyle{rm}
    1.11 +\isabellestyle{it}
    1.12 +
    1.13 +\renewcommand{\isamarkupheader}[1]{#1}
    1.14 +
    1.15 +\begin{document}
    1.16 +
    1.17 +\title{Hoare Logic for Parallel Programs}
    1.18 +\author{Leonor Prensa Nieto}
    1.19 +\maketitle
    1.20 +
    1.21 +\pagestyle{plain}
    1.22 +\thispagestyle{empty}
    1.23 +\tableofcontents
    1.24 +
    1.25 +\parindent 0pt\parskip 0.5ex
    1.26 +\input{session}
    1.27 +
    1.28 +%\bibliographystyle{plain}
    1.29 +%\bibliography{root}
    1.30 +
    1.31 +\end{document}