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

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}