changeset 81 | 4b966fcdc548 |
parent 76 | 16d7f0938baa |
child 99 | a3311a926113 |
--- a/preamble.tex Fri Jun 12 11:56:20 2009 +0000 +++ b/preamble.tex Wed Jun 17 00:35:51 2009 +0000 @@ -64,6 +64,7 @@ \newtheorem{conj}[prop]{Conjecture} \newtheorem{thm}[prop]{Theorem} \newtheorem{lem}[prop]{Lemma} +\newtheorem{claim}[prop]{Claim} \newtheorem{lemma}[prop]{Lemma} \newtheorem{cor}[prop]{Corollary} \newtheorem*{cor*}{Corollary}