diff options
Diffstat (limited to 'rulesinput.tex')
| -rw-r--r-- | rulesinput.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rulesinput.tex b/rulesinput.tex index e9dd23f..2e59ddf 100644 --- a/rulesinput.tex +++ b/rulesinput.tex @@ -37,7 +37,7 @@ $$ {\ip''}{\op}{\st} \using{\rinputns} \qquad - \text{met $(\val,\ip')=\pop\ip$} + \text{met $(\val,\ip')=\pop\ip$.} \end{prooftree} $$ |