changeset 194 | 8d3f0bc6a76e |
parent 191 | 8c2c330e87f2 |
child 226 | 0a53cf540f4d |
--- a/preamble.tex Mon Dec 21 21:51:44 2009 +0000 +++ b/preamble.tex Tue Dec 22 21:18:07 2009 +0000 @@ -61,6 +61,7 @@ \newtheorem{conj}[prop]{Conjecture} \newtheorem{thm}[prop]{Theorem} \newtheorem{lem}[prop]{Lemma} +\newtheorem*{lem*}{Lemma} \newtheorem{claim}[prop]{Claim} \newtheorem{cor}[prop]{Corollary} \newtheorem*{cor*}{Corollary}