thys/Paper/Paper.thy
changeset 190 2a07222e2a8b
parent 189 419041034e35
child 192 f101eac348f8
equal deleted inserted replaced
189:419041034e35 190:2a07222e2a8b
  1246   \noindent
  1246   \noindent
  1247   {\bf Acknowledgements:}
  1247   {\bf Acknowledgements:}
  1248   We are very grateful to Martin Sulzmann for his comments on our work and 
  1248   We are very grateful to Martin Sulzmann for his comments on our work and 
  1249   moreover for patiently explaining to us the details in \cite{Sulzmann2014}. We
  1249   moreover for patiently explaining to us the details in \cite{Sulzmann2014}. We
  1250   also received very helpful comments from James Cheney and anonymous referees.
  1250   also received very helpful comments from James Cheney and anonymous referees.
  1251   \small
  1251   %  \small
  1252   \bibliographystyle{plain}
  1252   \bibliographystyle{plain}
  1253   \bibliography{root}
  1253   \bibliography{root}
  1254 
  1254 
  1255 *}
  1255 *}
  1256 
  1256