# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1374585495 -7200
# Node ID 55dc9ff45b73eadb6d4a9771147236faef76ca55
# Parent  6bf48979a72e59fc63b9faf634c7ea702458d4bd
new slides

diff -r 6bf48979a72e -r 55dc9ff45b73 Slides/Slides2.thy
--- a/Slides/Slides2.thy	Tue Jul 23 15:14:12 2013 +0200
+++ b/Slides/Slides2.thy	Tue Jul 23 15:18:15 2013 +0200
@@ -597,12 +597,12 @@
 text_raw {*
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   \mode<presentation>{
-  \begin{frame}[t]
+  \begin{frame}[b]
   \frametitle{Undecidability}%
 
-  \begin{center}
+  \begin{textblock}{7}(4,2.4)
   @{thm tcontra_def}
-  \end{center}
+  \end{textblock}
   
   \only<2>{
   \begin{itemize}
diff -r 6bf48979a72e -r 55dc9ff45b73 slides2.pdf
Binary file slides2.pdf has changed