diff options
Diffstat (limited to 'lsr_env.tex')
-rw-r--r-- | lsr_env.tex | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/lsr_env.tex b/lsr_env.tex index d74cd82..b673afb 100644 --- a/lsr_env.tex +++ b/lsr_env.tex @@ -380,11 +380,12 @@ title=yes, style=italic, list=all, + number=yes, listtext={Theorem }] \defineenumeration [proof] -[ text=Proof., +[ text=Proof sketch., number=no, headstyle=italic, title=no, @@ -400,9 +401,11 @@ \defineenumeration [lemma] -[ text=Corollary, - number=theorem, +[ text=Lemma, + number=yes, + style=italic, list=all, + title=yes, listtext={Lemma }] \definestartstop |