--- a/src/HOL/Library/Library/document/root.bib Fri Jul 08 11:39:08 2005 +0200
+++ b/src/HOL/Library/Library/document/root.bib Fri Jul 08 11:39:44 2005 +0200
@@ -13,13 +13,6 @@
year = 1993
}
-@Book{davenport92,
- author = {H. Davenport},
- title = {The Higher Arithmetic},
- publisher = {Cambridge University Press},
- year = 1992
-}
-
@InProceedings{paulin-tlca,
author = {Christine Paulin-Mohring},
title = {Inductive Definitions in the System {Coq}: Rules and
--- 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