src/HOL/document/root.bib

--- a/src/HOL/document/root.bib	Tue Feb 27 00:32:52 2007 +0100
+++ b/src/HOL/document/root.bib	Tue Feb 27 00:33:49 2007 +0100
@@ -1,9 +1,3 @@
-@Book{davenport92,
-  author =	 {H. Davenport},
-  title = 	 {The Higher Arithmetic},
-  publisher = 	 {Cambridge University Press},
-  year = 	 1992
-}
 
 @book{Birkhoff79,author={Garret Birkhoff},title={Lattice Theory},
 publisher={American Mathematical Society},year=1979}
\ No newline at end of file