--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/document/root.bib Fri Jul 08 11:39:59 2005 +0200
@@ -0,0 +1,6 @@
+@Book{davenport92,
+ author = {H. Davenport},
+ title = {The Higher Arithmetic},
+ publisher = {Cambridge University Press},
+ year = 1992
+}