--- a/src/ZF/Induct/document/root.tex Sat Dec 29 18:35:27 2001 +0100
+++ b/src/ZF/Induct/document/root.tex Sat Dec 29 18:36:12 2001 +0100
@@ -2,11 +2,8 @@
\documentclass[11pt,a4paper]{article}
\usepackage{isabelle,isabellesym}
\usepackage[latin1]{inputenc}
-
-% this should be the last package used
\usepackage{pdfsetup}
-% proper setup for best-style documents
\urlstyle{rm}
\isabellestyle{it}
@@ -22,4 +19,7 @@
\parindent 0pt\parskip 0.5ex
\input{session}
+\bibliographystyle{abbrv}
+\bibliography{root}
+
\end{document}