# HG changeset patch
# User nipkow
# Date 1120815599 -7200
# Node ID ca81a99c5bc1a58df538ed860aede5ff4f6cbb48
# Parent  14443b31ef47beb39dbb4ab98848729f477aa126
added Davenport reference

diff -r 14443b31ef47 -r ca81a99c5bc1 src/HOL/document/root.bib
--- /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
+}
diff -r 14443b31ef47 -r ca81a99c5bc1 src/HOL/document/root.tex
--- a/src/HOL/document/root.tex	Fri Jul 08 11:39:44 2005 +0200
+++ b/src/HOL/document/root.tex	Fri Jul 08 11:39:59 2005 +0200
@@ -31,4 +31,8 @@
 \parindent 0pt\parskip 0.5ex
 \input{session}
 
+\pagestyle{headings}
+\bibliographystyle{abbrv}
+\bibliography{root}
+
 \end{document}