diff options
Diffstat (limited to 'rulescat.tex')
| -rw-r--r-- | rulescat.tex | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/rulescat.tex b/rulescat.tex index a54b508..95269e1 100644 --- a/rulescat.tex +++ b/rulescat.tex @@ -25,8 +25,7 @@ $$ \using{\rcatns} \qquad \text{met\enspace - \parbox{36mm}{$(s_2,\stk') = \pop{\stk}$,\\$(s_1,\stk'') = \pop{\stk'}$.} - } + \parbox{36mm}{$\pop{\stk} = (s_2,\stk') $,\\$ \pop{\stk' = (s_1,\stk'')}$.} \end{prooftree} $$ |