diff options
| author | Camil Staps | 2016-04-29 15:48:13 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-04-29 15:48:13 +0200 |
| commit | 451fb34423cb5c1a6c1993785b728ad0ef21e1c8 (patch) | |
| tree | 30bb590082f85671ea90b6f11540b211e75fe955 | |
| parent | Merge branch 'master' of github.com:W-M-T/Berekeningsmodellen-IBC025---voorja... (diff) | |
\var is voor variabelen
| -rw-r--r-- | rulesinput.tex | 2 | ||||
| -rw-r--r-- | rulesoutput.tex | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/rulesinput.tex b/rulesinput.tex index e9dd23f..2e59ddf 100644 --- a/rulesinput.tex +++ b/rulesinput.tex @@ -37,7 +37,7 @@ $$ {\ip''}{\op}{\st} \using{\rinputns} \qquad - \text{met $(\val,\ip')=\pop\ip$} + \text{met $(\val,\ip')=\pop\ip$.} \end{prooftree} $$ 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 $$ |