Binary file slides10.pdf has changed

--- 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}