--- a/Quotient-Paper/document/root.tex	Fri Oct 29 14:25:50 2010 +0900
+++ b/Quotient-Paper/document/root.tex	Fri Oct 29 15:37:24 2010 +0100
@@ -64,7 +64,8 @@
 mechanism for extension is the introduction of safe definitions and of
 non-empty types. Both extensions are often performed in quotient
 constructions. To ease the work involved with such quotient constructions, we
-re-implemented in the popular Isabelle/HOL theorem prover the quotient 
+re-implemented in the %popular 
+Isabelle/HOL theorem prover the quotient 
 package by Homeier. In doing so we extended his work in order to deal with 
 compositions of quotients and also specified completely the procedure 
 of lifting theorems from the raw level to the quotient level.
@@ -81,6 +82,8 @@
 \input{session}
 
 % optional bibliography
+\small
+
 \bibliographystyle{abbrv}
 \bibliography{root}