--- /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}