updated
authorChristian Urban <urbanc@in.tum.de>
Tue, 13 Nov 2012 00:22:28 +0000
changeset 64 d53d7d61f37b
parent 63 bcdcdb422813
child 65 8d3c4efb91b3
updated
inferences.pdf
inferences.tex
Binary file inferences.pdf has changed
--- 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