From 4f617355bd5e865e45f1dd5c88172a1d38d41e81 Mon Sep 17 00:00:00 2001
From: Karl Berry <karl@freefriends.org>
Date: Thu, 12 Jan 2006 23:53:26 +0000
Subject: computational-complexity

git-svn-id: svn://tug.org/texlive/trunk@781 c570f23f-e606-0410-a88d-b1316a301751
---
 .../tex/latex/computational-complexity/ccthm.sty   | 284 +++++++++++++++++++++
 1 file changed, 284 insertions(+)
 create mode 100644 Master/texmf-dist/tex/latex/computational-complexity/ccthm.sty

(limited to 'Master/texmf-dist/tex/latex/computational-complexity/ccthm.sty')

diff --git a/Master/texmf-dist/tex/latex/computational-complexity/ccthm.sty b/Master/texmf-dist/tex/latex/computational-complexity/ccthm.sty
new file mode 100644
index 00000000000..ad5bdb8fea3
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/computational-complexity/ccthm.sty
@@ -0,0 +1,284 @@
+%%
+%% This is file `ccthm.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% cc.dtx  (with options: `ccthm,chartab')
+%% 
+%% This is a generated file.
+%% 
+%% Copyright 2000-2003
+%% Michael N"usken, Joachim von zur Gathen, computational complexity
+%% 
+%% IMPORTANT NOTICE:
+%% 
+%% You are *not* allowed to modify this file.
+%% 
+%% You are *not* allowed to distribute this file.
+%% For distribution of the original source see the terms
+%% for copying and modification in the file cc.dtx.
+%% 
+%% \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{ccthm}[2000/02/29 v2.04
+  theorem environments for cc.  Michael Nuesken, Bonn.]
+\newif\if@theoremitemprefixes
+\DeclareOption{theoremitemprefixes}{\@theoremitemprefixestrue}
+\DeclareOption{notheoremitemprefixes}{\@theoremitemprefixesfalse}
+\ExecuteOptions{theoremitemprefixes}
+\ProcessOptions\relax
+\RequirePackage{theorem}[1995/11/23 v2.2c]
+\RequirePackage{thcc}
+\RequirePackage{relabel}
+\newtoks\everytheorem
+\everytheorem{}
+\if@theoremitemprefixes
+\def\EnumerationInTheorems#1{%
+  \let\@thm@currentlabel\@empty
+  \let\@thm@bare@currentlabel\@empty
+  \let\@@refstepcounter\refstepcounter
+  \def\refstepcounter##1{%
+    \let\refstepcounter\@@refstepcounter
+    \let\@@refstepcounter\@undefined
+    \refstepcounter{##1}%
+    \let\@thm@currentlabel\@currentlabel
+    \protected@edef\@thm@bare@currentlabel{{\csname the##1\endcsname}}%
+    }%
+  \def\theenumi{\@roman\c@enumi}%
+  \def\labelenumi{(\theenumi)}%
+  \defprefix{enumi}##1{%
+    %%\Iflabelchanged{#1}{\uselabel{#1}}%
+    \protect\protect\protect\@@conduselabel
+    {{\protect\csname the#1\endcsname}}%
+    {\@thm@bare@currentlabel}{\@thm@currentlabel}%
+    (##1)}%
+  %%\def\theenumii{\@alph\c@enumii}%
+  %%\def\labelenumii{(\theenumii)}%
+  \defprefix{enumii}##1{%
+    %%\Iflabelchanged{#1}{\uselabel{#1}}%
+    \protect\protect\protect\@@conduselabel
+    {{\protect\csname the#1\endcsname}}%
+    {\@thm@bare@currentlabel}{\@thm@currentlabel}%
+    (\theenumi.##1)}%
+  \def\theenumiii{\@arabic\c@enumiii}%
+  \def\labelenumiii{(\theenumiii)}%
+  \defprefix{enumiii}##1{%
+    %%\Iflabelchanged{#1}{\uselabel{#1}}%
+    \protect\protect\protect\@@conduselabel
+    {{\protect\csname the#1\endcsname}}%
+    {\@thm@bare@currentlabel}{\@thm@currentlabel}%
+    (\theenumi.\theenumii.##1)}%
+  %%\def\theenumiv{\@Alph\c@enumiv}%
+  %%\def\labelenumiv{\theenumiv.}%
+  \defprefix{enumiv}##1{%
+    %%\Iflabelchanged{#1}{\uselabel{#1}}%
+    \protect\protect\protect\@@conduselabel
+    {{\protect\csname the#1\endcsname}}%
+    {\@thm@bare@currentlabel}{\@thm@currentlabel}%
+    (\theenumi.\theenumii.\theenumiii##1)}
+  }
+\else
+\def\EnumerationInTheorems#1{%
+  \def\theenumi{\@roman\c@enumi}%
+  \def\labelenumi{(\theenumi)}%
+  \defprefix{enumi}##1{(##1)}%
+  %%\def\theenumii{\@alph\c@enumii}%
+  %%\def\labelenumii{(\theenumii)}%
+  \defprefix{enumii}##1{(\theenumi.##1)}%
+  \def\theenumiii{\@arabic\c@enumiii}%
+  \def\labelenumiii{(\theenumiii)}%
+  \defprefix{enumiii}##1{(\theenumi.\theenumii.##1)}%
+  %%\def\theenumiv{\@Alph\c@enumiv}%
+  %%\def\labelenumiv{\theenumiv.}%
+  \defprefix{enumiv}##1{(\theenumi.\theenumii.\theenumiii##1)}
+  }
+\fi
+\def\theorempreamblenn\@thm#1#2{%
+  \defprefix{#1}##1{#2}%
+  \EnumerationInTheorems{#1}%
+  \pagebreak[3]\relax
+  \the\everytheorem
+  \@thm{#1}{#2}}
+\theorem@bodyfont{\theorempreamblenn}
+\theoremstyle{ccnn}
+\newtoks\theoremtitle
+\newtheorem{namedth@@r@m*}{\the\theoremtitle}
+\newenvironment{namedtheorem*}[1]{%
+  \theoremtitle{#1}\csname namedth@@r@m*\endcsname}
+{\csname endnamedth@@r@m*\endcsname}
+\babel\def\Answer{Answer}[german=Antwort,french=Reponse]
+\newtheorem{answer*}[namedth@@r@m*]{\Answer}%
+\babel\def\Assumption{Assumption}[german=Annahme,french=Assomption]
+\newtheorem{assumption*}[namedth@@r@m*]{\Assumption}
+\babel\def\Claim{Claim}[german=Behauptung,french=Proposition]
+\newtheorem{claim*}[namedth@@r@m*]{\Claim}
+\babel\def\Conjecture{Conjecture}[german=Vermutung,french=Conjecture]
+\newtheorem{conjecture*}[namedth@@r@m*]{\Conjecture}
+\babel\def\Convention{Convention}[german=Vereinbarung,french=Convention]
+\newtheorem{convention*}[namedth@@r@m*]{\Convention}%
+\babel\def\Corollary{Corollary}[german=Korollar,french=Corollaire]
+\newtheorem{corollary*}[namedth@@r@m*]{\Corollary}
+\babel\def\Counterexample{Counterexample}[%
+  german=Gegenbeispiel,french=Contre-exemple]
+\newtheorem{counterexample*}[namedth@@r@m*]{\Counterexample}%
+\babel\def\Definition{Definition}[german=Definition,french=D\'efinition]
+\newtheorem{definition*}[namedth@@r@m*]{\Definition}
+\babel\def\Exercise{Exercise}[german=Aufgabe,french=Exercice]
+\newtheorem{exercise*}[namedth@@r@m*]{\Exercise}
+\babel\def\Fact{Fact}[german=Fakt,french=Fait]
+\newtheorem{fact*}[namedth@@r@m*]{\Fact}
+\babel\def\Hypothesis{Hypothesis}[german=Hypothese,french=Hypoth\`ese]
+\newtheorem{hypothesis*}[namedth@@r@m*]{\Hypothesis}
+\babel\def\Lemma{Lemma}[german=Lemma,french=Lemme]
+\newtheorem{lemma*}[namedth@@r@m*]{\Lemma}
+\babel\def\Notation{Notation}[german=Notation,french=Notation]
+\newtheorem{notation*}[namedth@@r@m*]{\Notation}
+\babel\def\Note{Note}[german=Notiz,french=Note]
+\newtheorem{note*}[namedth@@r@m*]{\Note}
+\babel\def\Observation{Observation}[%
+  german=Beobachtung,french=Observation]
+\newtheorem{observation*}[namedth@@r@m*]{\Observation}
+\babel\def\OpenQuestion{Open Question}[%
+  german=Offene Frage,french=Question ouverte]
+\newtheorem{open*}[namedth@@r@m*]{\OpenQuestion}
+\newtheorem{openquestion*}[namedth@@r@m*]{\OpenQuestion}
+\babel\def\Problem{Problem}[german=Problem,french=Probl\`eme]
+\newtheorem{problem*}[namedth@@r@m*]{\Problem}
+\babel\def\Proposition{Proposition}[%
+  german=Behauptung,french=Proposition]
+\newtheorem{proposition*}[namedth@@r@m*]{\Proposition}
+\babel\def\Question{Question}[german=Frage,french=Question]
+\newtheorem{question*}[namedth@@r@m*]{\Question}%
+\babel\def\Remark{Remark}[german=Bemerkung,french=Remarque]
+\newtheorem{remark*}[namedth@@r@m*]{\Remark}
+\babel\def\Result{Result}[german=Ergebnis,french=R\'esultat]
+\newtheorem{result*}[namedth@@r@m*]{\Result}
+\babel\def\Theorem{Theorem}[german=Satz,french=Th\'eor\`eme]
+\newtheorem{theorem*}[namedth@@r@m*]{\Theorem}
+\babel\def\Thesis{Thesis}[german=These,french=Th\`ese]
+\newtheorem{thesis*}[namedth@@r@m*]{\Thesis}%
+\babel\def\Warning{Warning}[german=Warnung,french=Alerte]
+\newtheorem{warning*}[namedth@@r@m*]{\Warning}%
+%%\newtheorem{example*}[namedth@@r@m*]{Example}%
+\babel\def\Example{Example}[german=Beispiel,french=Exemple]
+\newenvironment{example*}[1][]{%
+  \cc@ifempty{#1}
+  {\csname namedtheorem*\endcsname{\Example}}%
+  {\csname namedtheorem*\endcsname{\Example}[#1]}%
+  \upshape
+  \let\qedsymbol\eoesymbol
+  }
+{\qed\csname endnamedtheorem*\endcsname}
+\def\theorempreamble\@thm#1#2{%
+  \defprefix{#1}##1{#2~##1}%
+  \EnumerationInTheorems{#1}%
+  \pagebreak[3]\relax
+  \the\everytheorem
+  \@thm{#1}{#2}}
+\theorem@bodyfont{\theorempreamble}
+\theoremstyle{cc}
+\newtheorem{namedth@@r@m}{\the\theoremtitle}
+\if@ccnosepeqncnt
+\let\c@namedth@@r@m\c@equation
+\def\thenamedth@@r@m{\theequation}
+\fi
+\newenvironment{namedtheorem}[1]
+  {\theoremtitle{#1}\namedth@@r@m}
+  {\endnamedth@@r@m}
+\if@standardtheorems
+\newtheorem{answer}[namedth@@r@m]{\Answer}
+\newtheorem{assumption}[namedth@@r@m]{\Assumption}
+\newtheorem{claim}[namedth@@r@m]{\Claim}
+\newtheorem{conjecture}[namedth@@r@m]{\Conjecture}
+\newtheorem{convention}[namedth@@r@m]{\Convention}
+\newtheorem{corollary}[namedth@@r@m]{\Corollary}
+\newtheorem{counterexample}[namedth@@r@m]{\Counterexample}
+\newtheorem{definition}[namedth@@r@m]{\Definition}
+\newtheorem{exercise}[namedth@@r@m]{\Exercise}
+\newtheorem{fact}[namedth@@r@m]{\Fact}
+\newtheorem{hypothesis}[namedth@@r@m]{\Hypothesis}
+\newtheorem{lemma}[namedth@@r@m]{\Lemma}
+\newtheorem{notation}[namedth@@r@m]{\Notation}
+\newtheorem{note}[namedth@@r@m]{\Note}
+\newtheorem{observation}[namedth@@r@m]{\Observation}
+\newtheorem{open}[namedth@@r@m]{\OpenQuestion}
+\newtheorem{openquestion}[namedth@@r@m]{\OpenQuestion}
+\newtheorem{problem}[namedth@@r@m]{\Problem}
+\newtheorem{proposition}[namedth@@r@m]{\Proposition}
+\newtheorem{question}[namedth@@r@m]{\Question}
+\newtheorem{remark}[namedth@@r@m]{\Remark}
+\newtheorem{result}[namedth@@r@m]{\Result}
+\newtheorem{theorem}[namedth@@r@m]{\Theorem}
+\newtheorem{thesis}[namedth@@r@m]{\Thesis}
+\newtheorem{warning}[namedth@@r@m]{\Warning}
+\newenvironment{example}[1][]{%
+  \cc@ifempty{#1}
+  {\namedtheorem{\Example}}%
+  {\namedtheorem{\Example}[#1]}%
+  \upshape
+  \let\qedsymbol\eoesymbol
+  }
+{\qed\endnamedtheorem}
+\else
+\newtheorem{answer}{\Answer}
+\newtheorem{assumption}{\Assumption}
+\newtheorem{claim}{\Claim}
+\newtheorem{conjecture}{\Conjecture}
+\newtheorem{convention}{\Convention}
+\newtheorem{corollary}{\Corollary}
+\newtheorem{counterexample}{\Counterexample}
+\newtheorem{definition}{\Definition}
+\newtheorem{exercise}{\Exercise}
+\newtheorem{fact}{\Fact}
+\newtheorem{hypothesis}{\Hypothesis}
+\newtheorem{lemma}{\Lemma}
+\newtheorem{notation}{\Notation}
+\newtheorem{note}{\Note}
+\newtheorem{observation}{\Observation}
+\newtheorem{open}{\OpenQuestion}
+\newtheorem{openquestion}{\OpenQuestion}
+\newtheorem{problem}{\Problem}
+\newtheorem{proposition}{\Proposition}
+\newtheorem{question}{\Question}
+\newtheorem{remark}{\Remark}
+\newtheorem{result}{\Result}
+\newtheorem{theorem}{\Theorem}
+\newtheorem{thesis}{\Thesis}
+\newtheorem{warning}{\Warning}
+\newtheorem{exampleexample}{\Example}
+\newenvironment{example}{%
+  \exampleexample%
+  \upshape
+  \let\qedsymbol\eoesymbol
+  }
+{\qed\endexampleexample}
+\fi
+\babel\def\ccContinued{continued}[%
+  german=fortgesetzt,french=continu\'e(e)]
+\newenvironment{continued}[1]{%
+  \csname namedtheorem*\endcsname{\ref{#1} \ccContinued}%
+  }{\csname endnamedtheorem*\endcsname}
+\newenvironment{contexample}[1]{%
+  \csname namedtheorem*\endcsname{\ref{#1} \ccContinued}%
+  \upshape
+  \let\qedsymbol\eoesymbol
+  }
+{\qed\csname endnamedtheorem*\endcsname}
+\newcommand{\eoesymbol}{\lozenge}
+\endinput
+%%
+%% End of file `ccthm.sty'.
-- 
cgit v1.2.3

