diff -r 734341a79028 -r 2ccf3086142b Paper/document/root.tex
--- a/Paper/document/root.tex	Tue Oct 05 08:43:49 2010 +0100
+++ b/Paper/document/root.tex	Tue Oct 05 21:48:31 2010 +0100
@@ -12,6 +12,7 @@
 \usepackage{times}
 \usepackage{boxedminipage}
 \usepackage{proof}
+\usepackage{setspace}
 
 \allowdisplaybreaks
 \urlstyle{rm}
@@ -58,7 +59,8 @@
 %-------------------- environment definitions -----------------
 \newenvironment{proof-of}[1]{{\em Proof of #1:}}{}
 
-
+\addtolength{\textwidth}{2mm}
+\addtolength{\parskip}{-0.3mm}
 \begin{document}
 
 \title{General Bindings and Alpha-Equivalence\\ in Nominal Isabelle}
@@ -93,8 +95,10 @@
 
 \input{session}
 
+\begin{spacing}{0.9}
 \bibliographystyle{plain}
 \bibliography{root}
+\end{spacing}
 
 \end{document}