
diff -r 321e220a6baa -r 034150db9d91 ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Tue May 21 16:22:30 2019 +0200
+++ b/ProgTutorial/Intro.thy	Wed May 22 12:38:51 2019 +0200
@@ -344,7 +344,7 @@
   \item {\bf Jasmin Blanchette} helped greatly with section \ref{sec:pretty}
   and exercise \ref{fun:killqnt}.
 
-  \item {\bf Sascha Böhme} contributed the recipes in \ref{rec:timeout}, 
+  \item {\bf Sascha B\"ohme} contributed the recipes in \ref{rec:timeout}, 
   \ref{rec:external} and \ref{rec:oracle}. He also wrote section \ref{sec:conversion} 
   and helped with recipe \ref{rec:timing}. Parts of section \ref{sec:storing}
   are by him.




