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}