1.1 --- a/slides/src/slides.tex	Fri Jul 22 15:52:20 2011 +0200
     1.2 +++ b/slides/src/slides.tex	Fri Jul 22 15:55:34 2011 +0200
     1.3 @@ -128,7 +128,7 @@
     1.4  ``It is dark.''\\
     1.5  \visible<2->{``It is \emph{always} dark.''\\}
     1.6  \visible<3->{``It is \emph{currently} dark.''\\}
     1.7 -\visible<4->{``It will \emph{eventually} be dark.''\\}
     1.8 +\visible<4->{``It will \emph{necessarily} be dark.''\\}
     1.9  \visible<5->{``It is dark \emph{until} someone puts the light on.''}
    1.10  \end{center}
    1.11  \end{frame}
    1.12 @@ -539,12 +539,6 @@
    1.13  \end{thm:model checking}
    1.14  \end{frame}
    1.15  
    1.16 -\begin{frame}
    1.17 -\frametitle{On-the-fly Methods}
    1.18 -\framesubtitle{A bit more information about this}
    1.19 -
    1.20 -\end{frame}
    1.21 -
    1.22  \begin{frame}[allowframebreaks]
    1.23  \frametitle<presentation>{Literature}    
    1.24  \begin{thebibliography}{10}