# HG changeset patch
# User prensani
# Date 1015344851 -3600
# Node ID cd0075346431ac83730f8db5a1c7f842d1278c00
# Parent  791e3b4c403957598091e827375a567449b1379e
Adding root.tex for HoareParallel

diff -r 791e3b4c4039 -r cd0075346431 src/HOL/HoareParallel/document/root.tex
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/HoareParallel/document/root.tex	Tue Mar 05 17:14:11 2002 +0100
@@ -0,0 +1,28 @@
+
+\documentclass[11pt,a4paper]{book}
+\usepackage{isabelle,isabellesym,pdfsetup}
+\usepackage[english]{babel}
+
+%for best-style documents ...
+\urlstyle{rm}
+\isabellestyle{it}
+
+\renewcommand{\isamarkupheader}[1]{#1}
+
+\begin{document}
+
+\title{Hoare Logic for Parallel Programs}
+\author{Leonor Prensa Nieto}
+\maketitle
+
+\pagestyle{plain}
+\thispagestyle{empty}
+\tableofcontents
+
+\parindent 0pt\parskip 0.5ex
+\input{session}
+
+%\bibliographystyle{plain}
+%\bibliography{root}
+
+\end{document}