X-Git-Url: https://git.siccegge.de//index.cgi?p=talk%2Fcoalgebraic-mu-calculus-cool-2.git;a=blobdiff_plain;f=chapters%2Ffinishingcool.tex;fp=chapters%2Ffinishingcool.tex;h=1b747e923d8dbf2021c4d0113d328663c2815851;hp=a90f7b8b1d5b1b89de3cf0941eeff65ecc9e8944;hb=967f83854c5bff5dd7aeeca3a4efc7a68af36076;hpb=d974b715051c182f04d8253e8fc2fff007f4904b

diff --git a/chapters/finishingcool.tex b/chapters/finishingcool.tex
index a90f7b8..1b747e9 100644
--- a/chapters/finishingcool.tex
+++ b/chapters/finishingcool.tex
@@ -1,4 +1,4 @@
-\section{Finishing Cool}
+\section{Finishing COOL}
 \subsection*{Dummy}
 
 \begin{frame}{Where we left (TODO)}
@@ -24,7 +24,7 @@
 
 \begin{frame}{Propagation}
   \begin{itemize}
-  \item Cool works in rounds
+  \item COOL works in rounds
     \begin{itemize}
     \item One further solution from each Core (propositional)
     \item All possible modal steps