diff options
Diffstat (limited to 'rulesquotify.tex')
| -rw-r--r-- | rulesquotify.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rulesquotify.tex b/rulesquotify.tex index e0bdd4c..8ebe567 100644 --- a/rulesquotify.tex +++ b/rulesquotify.tex @@ -19,11 +19,11 @@ $$ \begin{prooftree} \trans {\pgm}{\ip}{(\push{\texttt{"}\escape{s}\texttt{"}}{\stk'}, \str) } - {\ip}{\op}{\st} + {\ip'}{\op}{\st} \justifies \trans {\StmQuotify:\pgm}{\ip}{(\stk,\str)} - {\ip}{\op}{\st} + {\ip'}{\op}{\st} \using{\rquotifyns} \qquad \text{met $\pop{\stk} = (s, stk')$.} |