equal
deleted
inserted
replaced
448 \mode<presentation>{ |
448 \mode<presentation>{ |
449 \begin{frame}[c] |
449 \begin{frame}[c] |
450 \frametitle{Sending Rule} |
450 \frametitle{Sending Rule} |
451 |
451 |
452 \bl{\begin{center} |
452 \bl{\begin{center} |
453 \mbox{\infer{\Gamma \vdash Q \;\text{says}\; F} |
453 \mbox{$\infer{\Gamma \vdash Q \;\text{says}\; F} |
454 {\Gamma \vdash P \;\text{says}\; F & \Gamma \vdash P \;\text{sends}\; Q : F}} |
454 {\Gamma \vdash P \;\text{says}\; F & \Gamma \vdash P \;\text{sends}\; Q : F}$} |
455 \end{center}}\bigskip\pause |
455 \end{center}}\bigskip\pause |
456 |
456 |
457 \bl{$P \,\text{sends}\, Q : F \dn$}\\ |
457 \bl{$P \,\text{sends}\, Q : F \dn$}\\ |
458 \hspace{6mm}\bl{$(P \,\text{says}\, F) \Rightarrow (Q \,\text{says}\, F)$} |
458 \hspace{6mm}\bl{$(P \,\text{says}\, F) \Rightarrow (Q \,\text{says}\, F)$} |
459 |
459 |