# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1354708852 0
# Node ID 72d0b688e942bf914719138687840880ad7993dc
# Parent  6a7fe83820c8ee975408a3444d27a76c4ec2e79a
typo

diff -r 6a7fe83820c8 -r 72d0b688e942 slides10.pdf
Binary file slides10.pdf has changed
diff -r 6a7fe83820c8 -r 72d0b688e942 slides10.tex
--- a/slides10.tex	Wed Dec 05 04:13:12 2012 +0000
+++ b/slides10.tex	Wed Dec 05 12:00:52 2012 +0000
@@ -366,7 +366,7 @@
 
 \begin{itemize}
 \item \bl{$C(A) \dn 0$} iff \bl{$H(A, A) = 0$} 
-\item \bl{$C(A) \dn 1$} otherwise
+\item \bl{$C(A) \dn$ loops} otherwise
 \end{itemize}
 
 \end{frame}}
@@ -381,8 +381,8 @@
 \bl{$H(C, C)$} is either \bl{$0$} or \bl{$1$}.
 
 \begin{itemize}
-\item \bl{$H(C, C) = 1$} $\stackrel{def H}{\Rightarrow}$ \bl{$C(C)\downarrow$} $\stackrel{def C}{\Rightarrow}$ \bl{$H(C, C)=0$} 
-\item \bl{$H(C, C) = 0$} $\stackrel{def H}{\Rightarrow}$ \bl{$C(C)$} loops $\stackrel{def C}{\Rightarrow}$\\ 
+\item \bl{$H(C, C) = 1$} $\stackrel{\text{def}\,H}{\Rightarrow}$ \bl{$C(C)\downarrow$} $\stackrel{\text{def}\,C}{\Rightarrow}$ \bl{$H(C, C)=0$} 
+\item \bl{$H(C, C) = 0$} $\stackrel{\text{def}\,H}{\Rightarrow}$ \bl{$C(C)$} loops $\stackrel{\text{def}\,C}{\Rightarrow}$\\ 
 \hspace{7cm}\bl{$H(C, C)=1$} 
 \end{itemize}