From c2dd4e758e3bb5f7887e7145988f6be9067d7009 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sat, 14 May 2016 19:19:26 +0200
Subject: Kleine tekstuele wijzigingen

---
 rulesoutput.tex | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'rulesoutput.tex')

diff --git a/rulesoutput.tex b/rulesoutput.tex
index f55b374..c6a1f66 100644
--- a/rulesoutput.tex
+++ b/rulesoutput.tex
@@ -15,19 +15,19 @@ $$
 \prooftree
         \trans
         {\pgm}{\ip}{(\stk',\str)}
-        	{\ip'}{[\op:\Nil]}{\st}
+        	{\ip'}{\op}{\st}
 	\justifies
         \trans
         {\StmOutput:\pgm}{\ip}{(\stk,\str)}
             {\ip'}{[\op:[s:\Nil]]}{\st}
 	\using{\routputns}
 	\qquad
-	\text{met $\pop{\stk} = (s,\stk') $.}
+	\text{met $\pop{\stk} = (s,\stk') $,}
 \endprooftree
 $$
 
-Waarbij [o:Nil] in de bovenste regel de gehele stack weergeeft. 
-Merk op dat eenzelfde regel waar $s$ niet achteraan maar vooraan zou komen te
-staan, even geldig is. Geen van beide opties is beter dan de ander omdat we
-geen aannames doen over hoe de $\Output$-stack wordt verwerkt.
+waarbij $\op$ in de bovenste regel de gehele outputstack weergeeft. Merk op
+dat eenzelfde regel waar $s$ niet achteraan maar vooraan zou komen te staan,
+even geldig is. Geen van beide opties is beter dan de ander omdat we geen
+aannames doen over hoe de $\Output$-stack wordt verwerkt.
 
-- 
cgit v1.2.3