%% %% 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-2014 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}[2014/04/21 v66] \RequirePackage{thmtools} \let\@xa\expandafter \let\@nx\noexpand \@ifundefined{c@thmt@dummyctr}{% \newcounter{thmt@dummyctr}% }{} \gdef\theHthmt@dummyctr{dummy.\arabic{thmt@dummyctr}}% \gdef\thethmt@dummyctr{}% \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{% this is the end, my friend, drop the \end. % and call #1 with the collected body. \@xa#1\@xa{\the\thmt@toks}% }{% go on collecting \@xa\thmt@toks\@xa{\the\thmt@toks\end{#3}}% \thmt@collect@body{#1}% }% } \def\thmt@trivialref#1#2{% \ifcsname r@#1\endcsname \@xa\@xa\@xa\thmt@trivi@lr@f\csname r@#1\endcsname\relax\@nil \else #2\fi } \def\thmt@trivi@lr@f#1#2\@nil{#1} \def\thmt@innercounters{% equation} \def\thmt@counterformatters{% @alph,@Alph,@arabic,@roman,@Roman,@fnsymbol} \@for\thmt@displ:=\thmt@counterformatters\do{% \@xa\let\csname thmt@\thmt@displ\@xa\endcsname\csname \thmt@displ\endcsname }% \def\thmt@sanitizethe#1{% \@for\thmt@displ:=\thmt@counterformatters\do{% \@xa\protected@edef\csname\thmt@displ\endcsname##1{% \@nx\ifx\@xa\@nx\csname c@#1\endcsname ##1% \@xa\protect\csname \thmt@displ\endcsname{##1}% \@nx\else \@nx\csname thmt@\thmt@displ\endcsname{##1}% \@nx\fi }% }% \expandafter\protected@edef\csname the#1\endcsname{\csname the#1\endcsname}% \ifcsname theH#1\endcsname \expandafter\protected@edef\csname theH#1\endcsname{\csname theH#1\endcsname}% \fi } \def\thmt@rst@storecounters#1{% \bgroup % ugly hack: save chapter,..subsection numbers % for equation numbers. %\refstepcounter{thmt@dummyctr}% why is this here? %% temporarily disabled, broke autorefname. \def\@currentlabel{}% \@for\thmt@ctr:=\thmt@innercounters\do{% \thmt@sanitizethe{\thmt@ctr}% \protected@edef\@currentlabel{% \@currentlabel \protect\def\@xa\protect\csname the\thmt@ctr\endcsname{% \csname the\thmt@ctr\endcsname}% \ifcsname theH\thmt@ctr\endcsname \protect\def\@xa\protect\csname theH\thmt@ctr\endcsname{% (restate \protect\theHthmt@dummyctr)\csname theH\thmt@ctr\endcsname}% \fi \protect\setcounter{\thmt@ctr}{\number\csname c@\thmt@ctr\endcsname}% }% }% \label{thmt@@#1@data}% \egroup }% \newif\ifthmt@thisistheone \newenvironment{thmt@restatable}[3][]{% \thmt@toks{}% will hold body \stepcounter{thmt@dummyctr}% used for data storage label. \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 % these are the valid numbers, store them for the other % occasions. \thmt@rst@storecounters{#3}% \else % this one should use other numbers... % first, fake the theorem number. \@xa\protected@edef\csname the#2\endcsname{% \thmt@trivialref{thmt@@#3}{??}}% % if the number wasn't there, have a "re-run to get labels right" % warning. \ifcsname r@thmt@@#3\endcsname\else \G@refundefinedtrue \fi % prevent stepcountering the theorem number, % but still, have some number for hyperref, just in case. \@xa\let\csname c@#2\endcsname=\c@thmt@dummyctr \@xa\let\csname theH#2\endcsname=\theHthmt@dummyctr % disable labeling. \let\label=\@gobble \let\ltx@label=\@gobble% amsmath needs this % We shall need to restore the counters at the end % of the environment, so we get % (4.2) [(3.1 from restate)] (4.3) \def\thmt@restorecounters{}% \@for\thmt@ctr:=\thmt@innercounters\do{% \protected@edef\thmt@restorecounters{% \thmt@restorecounters \protect\setcounter{\thmt@ctr}{\arabic{\thmt@ctr}}% }% }% % pull the new semi-static definition of \theequation et al. % from the aux file. \thmt@trivialref{thmt@@#3@data}{}% \fi % call the proper begin-env code, possibly with optional argument % (omit if stored via key-val) \ifthmt@restatethis \thmt@restatethisfalse \else \csname #2\@xa\endcsname\ifx\@nx#1\@nx\else[{#1}]\fi \fi \ifthmt@thisistheone % store a label so we can pick up the number later. \label{thmt@@#3}% \fi % this will be the collected body. ##1% \csname end#2\endcsname % if we faked the counter values, restore originals now. \ifthmt@thisistheone\else\thmt@restorecounters\fi \endgroup }% thmt@stored@#3 % in either case, now call the just-created macro, \csname #3\@xa\endcsname\ifthmt@thisistheone\else*\fi % and artificially close the current environment. \@xa\end\@xa{\@currenvir} }% thm@rst@store \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 } %%% support for keyval-style: restate=foobar \protected@edef\thmt@thmuse@families{% \thmt@thmuse@families% ,restate phase 1% ,restate phase 2% } \newcommand\thmt@splitrestateargs[1][]{% \g@addto@macro\thmt@storedoptargs{,#1}% \def\tmp@a##1\@{\def\thmt@storename{##1}}% \tmp@a } \newif\ifthmt@restatethis \define@key{restate phase 1}{restate}{% \thmt@thmuse@iskvtrue \def\thmt@storedoptargs{}% discard the first time around \thmt@splitrestateargs #1\@ \def\thmt@storedoptargs{}% discard the first time around %\def\thmt@storename{#1}% \thmt@debug{we will restate as `\thmt@storename' with more args `\thmt@storedoptargs'}% \@namedef{thmt@unusedkey@restate}{}% % spurious "unused key" fixes itself once we are after tracknames... \thmt@restatethistrue \protected@edef\tmp@a{% \@nx\thmt@thisistheonetrue \@nx\def\@nx\@currenvir{\thmt@envname}% \@nx\@xa\@nx\thmt@restatable\@nx\@xa[\@nx\thmt@storedoptargs]% {\thmt@envname}{\thmt@storename}% }% \@xa\g@addto@macro\@xa\thmt@local@postheadhook\@xa{% \tmp@a }% } \thmt@mkignoringkeyhandler{restate phase 1} \define@key{restate phase 2}{restate}{% % do not store restate as a key for repetition: % infinite loop. % instead, retain the added keyvals % overwriting thmt@storename should be safe here, it's been % xdefd into the postheadhook \thmt@splitrestateargs #1\@ } \kv@set@family@handler{restate phase 2}{% \ifthmt@restatethis \@xa\@xa\@xa\g@addto@macro\@xa\@xa\@xa\thmt@storedoptargs\@xa\@xa\@xa{\@xa\@xa\@xa,% \@xa\kv@key\@xa=\kv@value}% \fi } \endinput %% %% End of file `thm-restate.sty'.