From 1faf953f857704cd2ac0acb98d99a7a99e37ba5e Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sun, 12 Jun 2016 16:27:22 +0200
Subject: Appendix met regels

---
 rulesoutput.tex | 17 +----------------
 1 file changed, 1 insertion(+), 16 deletions(-)

(limited to 'rulesoutput.tex')

diff --git a/rulesoutput.tex b/rulesoutput.tex
index d4bb487..257be28 100644
--- a/rulesoutput.tex
+++ b/rulesoutput.tex
@@ -10,24 +10,9 @@ We houden gedurende het hele programma een stack van strings, genaamd $\Output$
 bij waar het programma zijn output naar wegschrijft.
 
 Dit geeft de volgende regel:
-
-$$
-\prooftree
-        \trans
-        {\pgm}{\ip}{(\stk',\str)}
-        	{\ip'}{\op}{\st}
-	\justifies
-        \trans
-        {\StmOutput:\pgm}{\ip}{(\stk,\str)}
-            {\ip'}{\push{s}{\op}}{\st}
-	\using{\routputns}
-	\qquad
-	\text{met $\pop{\stk} = (s,\stk') $,}
-\endprooftree
-$$
+\theroutputns%
 
 waarbij $\op$ in de bovenste regel de gehele outputstack weergeeft. Merk op
 dat eenzelfde regel waar $s$ niet voor op de stack wordt gezet maar achter,
 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

