# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1463736693 -3600
# Node ID 2a07222e2a8b6e71c8393cd21e198ba3a6ae2d0c
# Parent  419041034e3535d4b0fdff21cd02546c1f4cf448
typo

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}
 
diff -r 419041034e35 -r 2a07222e2a8b thys/paper.pdf
Binary file thys/paper.pdf has changed