blob: 27bc74a01d60306a904cc3382960b2bfe2f6f2ae (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
%%
%% This is file `ccproof.sty',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% cc.dtx (with options: `ccproof,chartab')
%%
%% Copyright 2000-2011
%% 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'.
|