unify on COOL spelling

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

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}