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

diff -r 811add8917aa -r 419041034e35 thys/Paper/Paper.thy
--- a/thys/Paper/Paper.thy	Fri May 20 10:27:11 2016 +0100
+++ b/thys/Paper/Paper.thy	Fri May 20 10:30:24 2016 +0100
@@ -1246,7 +1246,7 @@
   \noindent
   {\bf Acknowledgements:}
   We are very grateful to Martin Sulzmann for his comments on our work and 
-  moreover patiently explaining to us the details in \cite{Sulzmann2014}. We
+  moreover for patiently explaining to us the details in \cite{Sulzmann2014}. We
   also received very helpful comments from James Cheney and anonymous referees.
   \small
   \bibliographystyle{plain}
diff -r 811add8917aa -r 419041034e35 thys/paper.pdf
Binary file thys/paper.pdf has changed