%%
%% This is a bog-standard .ins file: thmtools.ins 
%%
\input docstrip.tex
\keepsilent
\preamble
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

\endpreamble

\generate{%
	  \file{thm-restate.sty}{\from{thm-restate.dtx}{restate}}
	  \file{thm-patch.sty}{\from{thm-patch.dtx}{patch}}
          \file{thm-autoref.sty}{\from{thm-autoref.dtx}{autoref}}
          \file{thm-listof.sty}{\from{thm-listof.dtx}{listof}}
          \file{thm-kv.sty}{\from{thm-kv.dtx}{kv}}
          \file{aliasctr.sty}{\from{aliasctr.dtx}{code}}
          \file{unique.sty}{\from{unique.dtx}{code}}
         }
\Msg{*********************************************************}
\Msg{*}
\Msg{* To finish the installation you have to move the}
\Msg{* following files into a directory searched by TeX:}
\Msg{*}
\Msg{* \space\space thm-restate.sty}
\Msg{* \space\space thm-patch.sty}
\Msg{* \space\space thm-autoref.sty}
\Msg{* \space\space thm-listof.sty}
\Msg{* \space\space thm-kv.sty}
\Msg{* \space\space aliasctr.sty}
\Msg{* \space\space unique.sty}
\Msg{*}
\Msg{* Happy TeXing!}
\Msg{*********************************************************}
\endbatchfile
