
diff -r 14b2c22a7e40 -r 71590b7733b7 src/HOL/Algebra/document/root.tex
--- a/src/HOL/Algebra/document/root.tex	Thu May 06 12:43:00 2004 +0200
+++ b/src/HOL/Algebra/document/root.tex	Thu May 06 14:14:18 2004 +0200
@@ -1,3 +1,5 @@
+
+% $Id$
 
 \documentclass[11pt,a4paper]{article}
 \usepackage{graphicx}
@@ -10,21 +12,18 @@
 % this should be the last package used
 \usepackage{pdfsetup}
 
-% proper setup for best-style documents
 \urlstyle{rm}
 \isabellestyle{it}
-
-%\usepackage{substr}
-
-%\renewcommand{\isamarkupheader}[1]{%
-%  \IfSubStringInString{Chapter: }{#1}{%
-%    \chapter{\BehindSubString{Chapter: }{#1}}}{%
-%  \section{#1}}}
-
+\pagestyle{myheadings}
 
 \begin{document}
 
-\title{The Isabelle Algebra Library}
+\title{The Isabelle/HOL Algebra Library}
+\author{
+  Clemens Ballarin \\
+  Florian Kammu\"uller \\
+  Lawrence C Paulson \\
+}
 \maketitle
 
 \tableofcontents
@@ -35,8 +34,14 @@
 
 \clearpage
 
+\renewcommand{\isamarkupheader}[1]%
+{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
+
 \parindent 0pt\parskip 0.5ex
-
 \input{session}
 
+\pagestyle{headings}
+\bibliographystyle{abbrv}
+\bibliography{root}
+
 \end{document}




