diff -r fa22ae64ed85 -r b8703f63bfb2 doc-src/TutorialI/Overview/Slides/main.tex
--- a/doc-src/TutorialI/Overview/Slides/main.tex	Fri Dec 03 20:26:57 2010 +0100
+++ b/doc-src/TutorialI/Overview/Slides/main.tex	Fri Dec 03 20:38:58 2010 +0100
@@ -4,7 +4,7 @@
 \documentclass[pdf,nototal,myframes,slideColor,colorBG]{prosper}
 
 \usepackage{pstricks,pst-node,pst-text,pst-3d}
-\usepackage[latin1]{inputenc}
+\usepackage[utf8]{inputenc}
 \usepackage{amsmath}
 
 
@@ -21,7 +21,7 @@
 \author{Tobias Nipkow
 \\{\small joint work with Larry Paulson and Markus Wenzel}
 }
-\institution{Technische Universität München
+\institution{Technische Universität München
 \\ \vspace{0.5cm}\includegraphics[scale=.4]{isabelle_hol}
 }
 \maketitle