src/HOL/HoareParallel/document/root.tex
author wenzelm
Wed, 06 Mar 2002 17:55:10 +0100
changeset 13033 d6a09050a40d
parent 13021 cd0075346431
child 13036 dca23533bdfb
permissions -rw-r--r--
added session_graph;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
13033
d6a09050a40d added session_graph;
wenzelm
parents: 13021
diff changeset
     1
d6a09050a40d added session_graph;
wenzelm
parents: 13021
diff changeset
     2
% $Id$
13021
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
     3
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
     4
\documentclass[11pt,a4paper]{book}
13033
d6a09050a40d added session_graph;
wenzelm
parents: 13021
diff changeset
     5
\usepackage{graphicx}
13021
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
     6
\usepackage[english]{babel}
13033
d6a09050a40d added session_graph;
wenzelm
parents: 13021
diff changeset
     7
\usepackage{isabelle,isabellesym}
d6a09050a40d added session_graph;
wenzelm
parents: 13021
diff changeset
     8
\usepackage{pdfsetup}
13021
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
     9
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    10
\urlstyle{rm}
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    11
\isabellestyle{it}
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    12
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    13
\renewcommand{\isamarkupheader}[1]{#1}
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    14
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    15
\begin{document}
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    16
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    17
\title{Hoare Logic for Parallel Programs}
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    18
\author{Leonor Prensa Nieto}
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    19
\maketitle
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    20
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    21
\pagestyle{plain}
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    22
\thispagestyle{empty}
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    23
\tableofcontents
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    24
13033
d6a09050a40d added session_graph;
wenzelm
parents: 13021
diff changeset
    25
\begin{center}
d6a09050a40d added session_graph;
wenzelm
parents: 13021
diff changeset
    26
  \includegraphics[scale=0.7]{session_graph}  
d6a09050a40d added session_graph;
wenzelm
parents: 13021
diff changeset
    27
\end{center}
d6a09050a40d added session_graph;
wenzelm
parents: 13021
diff changeset
    28
d6a09050a40d added session_graph;
wenzelm
parents: 13021
diff changeset
    29
\newpage
d6a09050a40d added session_graph;
wenzelm
parents: 13021
diff changeset
    30
13021
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    31
\parindent 0pt\parskip 0.5ex
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    32
\input{session}
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    33
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    34
%\bibliographystyle{plain}
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    35
%\bibliography{root}
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    36
cd0075346431 Adding root.tex for HoareParallel
prensani
parents:
diff changeset
    37
\end{document}