# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1352766148 0
# Node ID d53d7d61f37b9182937667705eaca1e2c10435aa
# Parent  bcdcdb42281379ae1721be3bdea8149898ef3391
updated

diff -r bcdcdb422813 -r d53d7d61f37b inferences.pdf
Binary file inferences.pdf has changed
diff -r bcdcdb422813 -r d53d7d61f37b inferences.tex
--- a/inferences.tex	Thu Nov 01 20:15:02 2012 +0000
+++ b/inferences.tex	Tue Nov 13 00:22:28 2012 +0000
@@ -27,7 +27,7 @@
 
 \mbox{\infer{\Gamma \vdash P \;\textit{says}\;F_2}
             {\Gamma \vdash P \;\textit{says}\; (F_1 \Rightarrow F_2) & 
-             \Gamma \vdash \;\textit{says}\;F_1}}\medskip
+             \Gamma \vdash P \;\textit{says}\;F_1}}\medskip
 
 \mbox{\infer{\Gamma \vdash F[x := t]}
             {\Gamma \vdash \forall x. F}}\medskip