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

diff -r 72d0b688e942 -r 6e716ecf2db4 slides10.pdf
Binary file slides10.pdf has changed
diff -r 72d0b688e942 -r 6e716ecf2db4 slides10.tex
--- a/slides10.tex	Wed Dec 05 12:00:52 2012 +0000
+++ b/slides10.tex	Wed Dec 05 12:38:24 2012 +0000
@@ -341,23 +341,6 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \mode<presentation>{
 \begin{frame}[c]
-\frametitle{Halting Problem}
-
-\large
-Given such a program \bl{$H$} define the following program \bl{$C$}:
-for all programs \bl{$A$}\bigskip
-
-\begin{itemize}
-\item \bl{$C(A) \dn 0$} iff \bl{$H(A, A) = 0$} 
-\item \bl{$C(A) \dn 1$} otherwise
-\end{itemize}
-
-\end{frame}}
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  
-
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\mode<presentation>{
-\begin{frame}[c]
 \frametitle{Halting Problem (2)}
 
 \large