src/HOL/Number_Theory/document/root.tex
changeset 69785 9e326f6f8a24
parent 64317 029e6247210e
     1.1 --- a/src/HOL/Number_Theory/document/root.tex	Sat Feb 02 15:52:14 2019 +0100
     1.2 +++ b/src/HOL/Number_Theory/document/root.tex	Mon Feb 04 12:16:03 2019 +0100
     1.3 @@ -26,5 +26,8 @@
     1.4  
     1.5  \input{session}
     1.6  
     1.7 +\bibliographystyle{abbrv}
     1.8 +\bibliography{root}
     1.9 +
    1.10  \end{document}
    1.11