equal
deleted
inserted
replaced
515 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
515 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
516 \mode<presentation>{ |
516 \mode<presentation>{ |
517 \begin{frame}[t] |
517 \begin{frame}[t] |
518 \frametitle{\begin{tabular}{c}Compiling Ifs\end{tabular}} |
518 \frametitle{\begin{tabular}{c}Compiling Ifs\end{tabular}} |
519 |
519 |
520 {\Large\bl{$\text{if}\;b\;\text{else}\;cs_1\;\text{then}\;cs_2$}}\bigskip\bigskip |
520 {\Large\bl{$\text{if}\;b\;\text{then}\;cs_1\;\text{else}\;cs_2$}}\bigskip\bigskip |
521 |
521 |
522 \onslide<2->{Case }\only<2>{{\bf True}:}\only<3>{{\bf False}:} |
522 \onslide<2->{Case }\only<2>{{\bf True}:}\only<3>{{\bf False}:} |
523 |
523 |
524 \begin{center} |
524 \begin{center} |
525 \begin{tikzpicture}[node distance=2mm and 4mm, |
525 \begin{tikzpicture}[node distance=2mm and 4mm, |