%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{frame}[plain]
-\title{Alt. free $\mu$-Calculus for cool}
+\title{Alternation free $\mu$-Calculus for COOL}
%\subtitle{A Free and Interactive Disassembler}
\author{
Christoph Egger\\