diff options
| author | Evi | 2016-05-14 15:58:35 +0200 |
|---|---|---|
| committer | Evi | 2016-05-14 15:58:35 +0200 |
| commit | 8962431a7dce03507e3f84fb8e66a349a04fe057 (patch) | |
| tree | 3431a60c8d8f981ac043d5067db5d4856eaea972 /rulestail.tex | |
| parent | Cleanup (diff) | |
verwerken feedback
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 |