# HG changeset patch
# User nipkow
# Date 1120815584 -7200
# Node ID 14443b31ef47beb39dbb4ab98848729f477aa126
# Parent  aafd23b47a5d061f2732809a365afec3aa4d32de
moved Davenport citation to Main, removed author list

diff -r aafd23b47a5d -r 14443b31ef47 src/HOL/Library/Library/document/root.bib
--- 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
diff -r aafd23b47a5d -r 14443b31ef47 src/HOL/Library/Library/document/root.tex
--- 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