diff options
| author | Evi | 2016-04-29 13:43:35 +0200 |
|---|---|---|
| committer | Evi | 2016-04-29 13:43:35 +0200 |
| commit | 793dbd524285ed773f45d088fb7c4f85088ecb2f (patch) | |
| tree | 5ba4c3c097c00589b9450fbf5f9a71dfaaf83481 /ruleshead.tex | |
| parent | Over Exec (diff) | |
tail
stukje over tail toegevoegd
Diffstat (limited to 'ruleshead.tex')
| -rw-r--r-- | ruleshead.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ruleshead.tex b/ruleshead.tex index ce321db..53b4bf2 100644 --- a/ruleshead.tex +++ b/ruleshead.tex @@ -16,7 +16,7 @@ Dit geeft de volgende regel: $$ \begin{prooftree} \trans - {\pgm}{\ip}{(\push{s}{\stk'}, \str)} + {\pgm}{\ip}{(\push{c}{\stk'}, \str)} {\ip'}{\op}{\st} \justifies \trans |