diff options
Diffstat (limited to 'rulesquotify.tex')
| -rw-r--r-- | rulesquotify.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rulesquotify.tex b/rulesquotify.tex index 5c1d090..e0bdd4c 100644 --- a/rulesquotify.tex +++ b/rulesquotify.tex @@ -26,7 +26,7 @@ $$ {\ip}{\op}{\st} \using{\rquotifyns} \qquad - \text{met $ \pop{\stk} = (s, stk')$.} + \text{met $\pop{\stk} = (s, stk')$.} \end{prooftree} $$ |