summaryrefslogtreecommitdiff
path: root/info/examples/Math_into_LaTeX-4/babybeamer6mod2.tex
blob: fc9e093731f4f598f863e9905aaad06ab1e1e0b9 (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}

\begin{theorem}<1->
Every finite distributive lattice can be embedded in a boolean lattice.
\end{theorem}
\begin{proof}<3->
Use join-irreducible elements.
\end{proof}
\textbf<2->{Our first nice result}
\end{frame}
\end{document}