Kleine tekstuele wijzigingen

1 files changed, 6 insertions, 6 deletions

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.