From 451fb34423cb5c1a6c1993785b728ad0ef21e1c8 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Fri, 29 Apr 2016 15:48:13 +0200 Subject: \var is voor variabelen --- rulesoutput.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'rulesoutput.tex') diff --git a/rulesoutput.tex b/rulesoutput.tex index 7bdc741..57e7bbe 100644 --- a/rulesoutput.tex +++ b/rulesoutput.tex @@ -19,10 +19,10 @@ $$ \justifies \trans {\StmOutput:\pgm}{\ip}{(\stk,\str)} - {\ip'}{[\op:[var:\Nil]]}{\st} + {\ip'}{[\op:[s:\Nil]]}{\st} \using{\routputns} \qquad - \text{met $(\var,\stk') = \pop{\stk}$.} + \text{met $(s,\stk') = \pop{\stk}$.} \endprooftree $$ -- cgit v1.2.3