17/19
\begin{frame}[fragile]
  \frametitle{Examples}
  
  \begin{exampleblock}{Example: $a \wedge (b \vee c)  \;\;\vdash\;\; (a \wedge b) \vee (a \wedge c)$}
  \medskip{\small
  \begin{verbatim}
Theorem ex7 : (A /\ (B \/ C)) 
              -> ((A /\ B) \/ (A /\ C)).\end{verbatim}
  \pause
  \begin{verbatim}
  Proof.
  imp_i H.
  dis_e (B \/ C) HB HC.
  f_con_e2 H.
  dis_i1.
  con_i.
  f_con_e1 H.
  ass HB.
  dis_i2.
  con_i.
  f_con_e1 H.
  ass HC.
  Qed.\end{verbatim}
  \smallskip}
  \end{exampleblock}  
\end{frame}