\bibliographystyle{abbrv};

--- a/lib/Tools/mkdir	Thu Nov 08 17:44:55 2001 +0100
+++ b/lib/Tools/mkdir	Thu Nov 08 17:54:58 2001 +0100
@@ -249,7 +249,7 @@
 % include generated text of all theories
 \input{session}
 
-%\bibliographystyle{plain}
+%\bibliographystyle{abbrv}
 %\bibliography{root}
 
 \end{document}