--- a/src/HOL/Library/Library/document/root.tex Fri Jul 08 11:39:08 2005 +0200
+++ b/src/HOL/Library/Library/document/root.tex Fri Jul 08 11:39:44 2005 +0200
@@ -13,17 +13,7 @@
\begin{document}
\title{The Supplemental Isabelle/HOL Library}
-\author{
- Gertrud Bauer \\
- Jacques D Fleuriot \\
- Tobias Nipkow \\
- David von Oheimb \\
- Lawrence C Paulson \\
- Thomas M Rasmussen \\
- Stefan Richter \\
- Sebastian Skalberg \\
- Christophe Tabacznyj \\
- Markus Wenzel}
+\author{}
\maketitle
\tableofcontents