From: Christoph Egger <christoph@christoph-egger.org>
Date: Mon, 25 Apr 2016 14:09:20 +0000 (+0200)
Subject: unify on COOL spelling
X-Git-Url: https://git.siccegge.de//index.cgi?a=commitdiff_plain;h=967f83854c5bff5dd7aeeca3a4efc7a68af36076;p=talk%2Fcoalgebraic-mu-calculus-cool-2.git

unify on COOL spelling
---

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
diff --git a/chapters/optimizations.tex b/chapters/optimizations.tex
index 9877634..6517e64 100644
--- a/chapters/optimizations.tex
+++ b/chapters/optimizations.tex
@@ -16,7 +16,7 @@
   \item Consider $\heartsuit\heartsuit\heartsuit{}p \wedge \overline{\heartsuit}\overline{\heartsuit}\overline{\heartsuit}¬p$
   \item Same as $\heartsuit\heartsuit\heartsuit{}p \wedge
     ¬\heartsuit\heartsuit\heartsuit{}p$ and thus obviously unsatisfiable
-  \item Cool normalizes formulas to make best use of Global Caching
+  \item COOL normalizes formulas to make best use of Global Caching
   \end{itemize}
 \end{frame}
 
@@ -35,7 +35,7 @@
   TODO: ?
   \begin{itemize}
   \item Global Caching better with more same formulas
-  \item Preprocessing in Cool currently does not consider
+  \item Preprocessing in COOL currently does not consider
     (propositional) Comutativity, Associativity or Distributivity laws
   \end{itemize}
 \end{frame}