unify on COOL spelling

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

diff --git a/chapters/optimizations.tex b/chapters/optimizations.tex
index 987763482a557232ee5fb10759b70b5793fca000..6517e640778e5cceda51468cadfae5a4622d7c65 100644 (file)
--- 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}