diff options
Diffstat (limited to 'rulesinput.tex')
| -rw-r--r-- | rulesinput.tex | 17 |
1 files changed, 1 insertions, 16 deletions
diff --git a/rulesinput.tex b/rulesinput.tex index 9d8985c..004c764 100644 --- a/rulesinput.tex +++ b/rulesinput.tex @@ -25,19 +25,4 @@ gedefinieerd is. Geeft de gebruiker niet genoeg input, dan hoeven we dus geen afleidingsboom te maken (en we zullen dit ook onmogelijk maken). Dit geeft de volgende regel: - -$$ -\begin{prooftree} - \trans - {\pgm}{\ip'}{(\push\val\stk, \str)} - {\ip''}{\op}{\st} - \justifies - \trans - {\StmInput:\pgm}{\ip}{(\stk,\str)} - {\ip''}{\op}{\st} - \using{\rinputns} - \qquad - \text{met $\pop\ip = (\val,\ip')$.} -\end{prooftree} -$$ - +\therinputns% |