summaryrefslogtreecommitdiff
path: root/info/examples/Math_into_LaTeX-4/babybeamer6mod.tex
blob: f96fe28beb3cae223eaf307ea66c03edf5c2ccf6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
% babybeamer6 presentation

\documentclass{beamer}

\begin{document}

\begin{frame}
\frametitle{Overlaying declarations and graphics}

\onslide<1->{\begin{theorem}
Every finite distributive lattice can be embedded in a boolean lattice.
\end{theorem}}
\visible<3->{\begin{proof}
Use join-irreducible elements.
\end{proof}}
\visible<2->{\includegraphics{cube}}
\end{frame}
\end{document}