I want to redefine the claim environment so that it will be numbered but I'm having a hard time with the counters.
I want the following:
\begin{theorem}
thm 1
\end{theorem}
\begin{proof}
\begin{claim}
blah 1
\end{claim}
\begin{claim}
blah 2
\end{claim}
\end{proof}
\begin{theorem}
thm 2
\end{theorem}
\begin{proof}
\begin{claim}
blah 3
\end{claim}
\end{proof}
to produce:
Theorem 1: thm 1
Claim 1.1: blah 1
Claim 1.2: blah 2
Theorem 2: thm 2
Claim 2.1: blah 3
claim
was defined.claim
withproposition
,example
, etc..