unify on COOL spelling

[talk/coalgebraic-mu-calculus-cool-2.git] / chapters / finishingcool.tex

diff --git a/chapters/finishingcool.tex b/chapters/finishingcool.tex
index a90f7b8b1d5b1b89de3cf0941eeff65ecc9e8944..1b747e923d8dbf2021c4d0113d328663c2815851 100644 (file)
--- 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