diff options
Diffstat (limited to 'rulesget.tex')
| -rw-r--r-- | rulesget.tex | 18 |
1 files changed, 2 insertions, 16 deletions
diff --git a/rulesget.tex b/rulesget.tex index 44daa5f..ac0464a 100644 --- a/rulesget.tex +++ b/rulesget.tex @@ -8,19 +8,5 @@ \end{quote} De regel voor dit statement spreekt voor zich. In het geval dat $\stk$ leeg is, -is $\pop\stk$ niet gedefinieerd en kunnen we de regel dus niet toepassen. -$$ -\begin{prooftree} - \trans - {\pgm}{\ip}{(\push{\str~\var}{\stk'}, \str)} - {\ip'}{\op}{\st} - \justifies - \trans - {\StmGet:\pgm}{\ip}{(\stk,\str)} - {\ip'}{\op}{\st} - \using{\rgetns} - \qquad - \text{met $\pop{\stk}= (\var,\stk')$.} -\end{prooftree} -$$ - +is $\pop\stk$ niet gedefinieerd en kunnen we de regel dus niet toepassen. +\thergetns% |