| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Tue, 23 Jul 2013 15:18:15 +0200 | |
| changeset 275 | 55dc9ff45b73 |
| parent 274 | 6bf48979a72e |
| child 276 | 6f71b016cbe7 |
| Slides/Slides2.thy | file | annotate | diff | comparison | revisions | |
| slides2.pdf | file | annotate | diff | comparison | revisions |
--- 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}