\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}