\input docstrip.tex
\askforoverwritefalse
\generate{\file{coolthms.sty}{\from{coolthms.dtx}{}}}
\end
