
diff -r 419041034e35 -r 2a07222e2a8b thys/Paper/Paper.thy
--- a/thys/Paper/Paper.thy	Fri May 20 10:30:24 2016 +0100
+++ b/thys/Paper/Paper.thy	Fri May 20 10:31:33 2016 +0100
@@ -1248,7 +1248,7 @@
   We are very grateful to Martin Sulzmann for his comments on our work and 
   moreover for patiently explaining to us the details in \cite{Sulzmann2014}. We
   also received very helpful comments from James Cheney and anonymous referees.
-  \small
+  %  \small
   \bibliographystyle{plain}
   \bibliography{root}
 




