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