%% %% This is file `thm-restate.sty', %% generated with the docstrip utility. %% %% The original source files were: %% %% thm-restate.dtx (with options: `restate') %% This is a generated file. %% %% This file is part of the `thmtools' package. %% The `thmtools' package has the LPPL maintenance status: maintained. %% Current Maintainer is Ulrich M. Schwarz, ulmi@absatzen.de %% %% Copyright (C) 2008 by Ulrich M. Schwarz. %% %% This file may be distributed and/or modified under the %% conditions of the LaTeX Project Public License, version 1.3a. %% This version is obtainable at %% http://www.latex-project.org/lppl/lppl-1-3a.txt %% \NeedsTeXFormat{LaTeX2e} \ProvidesPackage{thm-restate}[2008/03/09 v0.1beta2 thm-restate (ulmi)] \let\@xa\expandafter \let\@nx\noexpand \@ifundefined{c@thmt@dummyctr}{% \newcounter{thmt@dummyctr}% }{} \gdef\theHthmt@dummyctr{dummy.\arabic{thmt@dummyctr}}% \gdef\thethmt@dummyctr{}% \newtoks\thmt@toks \long\def\thmt@collect@body#1#2\end#3{% \@xa\thmt@toks\@xa{\the\thmt@toks #2}% \def\thmttmpa{#3}%\def\thmttmpb{restatable}% \ifx\thmttmpa\@currenvir%thmttmpb \@xa\@firstoftwo% this is the end of the environment. \else \@xa\@secondoftwo% go on collecting \fi{% \@xa#1\@xa{\the\thmt@toks}% }{% \@xa\thmt@toks\@xa{\the\thmt@toks\end{#3}}% \thmt@collect@body{#1}% }% } \newif\ifthmt@thisistheone \newenvironment{thmt@restatable}[3][]{% \long\def\thmrst@store##1{% \@xa\gdef\csname #3\endcsname{% \@ifstar{% \thmt@thisistheonefalse\csname thmt@stored@#3\endcsname }{% \thmt@thisistheonetrue\csname thmt@stored@#3\endcsname }% }% \@xa\long\@xa\gdef\csname thmt@stored@#3\@xa\endcsname\@xa{% \begingroup \ifthmt@thisistheone\else \@xa\protected@edef\csname the#2\endcsname{% \ifx\@refstar\@undefined\@xa\ref\else\@xa\@refstar\fi{thmt@@#3}}% \@xa\let\csname c@#2\endcsname=\c@thmt@dummyctr \@xa\let\csname theH#2\endcsname=\theHthmt@dummyctr \let\label=\@gobble \fi %\def\@currenvir{#2}% \csname #2\@xa\endcsname\ifx\@nx#1\@nx\else[#1]\fi \ifthmt@thisistheone \label{thmt@@#3}% \fi ##1 \csname end#2\endcsname \endgroup }% \csname #3\@xa\endcsname\ifthmt@thisistheone\else*\fi \@xa\end\@xa{\@currenvir} }% \thmt@collect@body\thmrst@store }{% %% now empty, just used as a marker. } \newenvironment{restatable}{% \thmt@thisistheonetrue\thmt@restatable }{% \endthmt@restatable } \newenvironment{restatable*}{% \thmt@thisistheonefalse\thmt@restatable }{% \endthmt@restatable } \endinput %% %% End of file `thm-restate.sty'.