%% %% This is file `ccproof.sty', %% generated with the docstrip utility. %% %% The original source files were: %% %% cc.dtx (with options: `ccproof,chartab') %% %% Copyright 2000-2017 %% Michael N"usken, Joachim von zur Gathen, computational complexity %% %% IMPORTANT NOTICE: %% %% This is a generated file. It is part of the %% computational complexity macro package %% derived from cc.dtx by 'tex cc.ins'. %% See cc.dtx for license information. %% %% \CharacterTable %% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z %% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z %% Digits \0\1\2\3\4\5\6\7\8\9 %% Exclamation \! Double quote \" Hash (number) \# %% Dollar \$ Percent \% Ampersand \& %% Acute accent \' Left paren \( Right paren \) %% Asterisk \* Plus \+ Comma \, %% Minus \- Point \. Solidus \/ %% Colon \: Semicolon \; Less than \< %% Equals \= Greater than \> Question mark \? %% Commercial at \@ Left bracket \[ Backslash \\ %% Right bracket \] Circumflex \^ Underscore \_ %% Grave accent \` Left brace \{ Vertical bar \| %% Right brace \} Tilde \~} \ProvidesPackage{ccproof}[2000/02/29 v2.05 proof environments for cc. Michael Nuesken, Bonn.] \RequirePackage{theorem}[1995/11/23 v2.2c] \RequirePackage{thcc} \RequirePackage{ccqed} \newcommand{\Qed}{\@qedtrue\qed}% \newtoks\everyproof \everyproof{} \theoremstyle{ccproof} \theorembodyfont{} \newtoks\prooftitle \newtheorem{pr@@f}{\the\prooftitle} \newenvironment{namedproof}[2][\qedsymbol]{% \save@set@qed \prooftitle{#2}% \def\@tempa{#1}% \def\@tempc{\qedsymbol}% \ifx\@tempa\@tempc\relax\else\let\qedsymbol\@tempa\fi% \the\everyproof \pr@@f }{% \qed\restore@qed \endpr@@f} \babel\def\Proof{Proof}[german=Beweis,french=Preuve] \newenvironment{proof}{\namedproof{\Proof}}{\endnamedproof} \endinput %% %% End of file `ccproof.sty'.