X-Git-Url: https://git.siccegge.de//index.cgi?p=talk%2Fcoalgebraic-mu-calculus-cool-2.git;a=blobdiff_plain;f=vortrag.tex;fp=vortrag.tex;h=c70341d226eb44a34644a5adc6593cd5ce15f3a3;hp=24bf9b2b1eb2d204519a587879c249ebf2a94b91;hb=553c58bb2528eb68bfcd5c73dbd62ce428b2dfaa;hpb=edc63ce858f06a6b08536f876c7328820edd92a8

diff --git a/vortrag.tex b/vortrag.tex
index 24bf9b2..c70341d 100644
--- a/vortrag.tex
+++ b/vortrag.tex
@@ -66,7 +66,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \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\\