added Davenport reference
authornipkow
Fri, 08 Jul 2005 11:39:59 +0200
changeset 16764 ca81a99c5bc1
parent 16763 14443b31ef47
child 16765 b8b1f310877f
added Davenport reference
src/HOL/document/root.bib
src/HOL/document/root.tex
--- /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
+}
--- 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}