diff options
Diffstat (limited to 'rulestail.tex')
| -rw-r--r-- | rulestail.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rulestail.tex b/rulestail.tex index 156d6b6..dc93a3b 100644 --- a/rulestail.tex +++ b/rulestail.tex @@ -23,6 +23,6 @@ $$ {\ip'}{\op}{\st} \using{\rtailns} \qquad - \text{met $(c~s,\stk') = \pop{\stk}$.} + \text{met $ \pop{\stk} = (c~s,\stk') $.} \end{prooftree} $$
\ No newline at end of file |