summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/lwarp/lwarp-ntheorem.sty
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/latex/lwarp/lwarp-ntheorem.sty')
-rw-r--r--Master/texmf-dist/tex/latex/lwarp/lwarp-ntheorem.sty543
1 files changed, 543 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/lwarp/lwarp-ntheorem.sty b/Master/texmf-dist/tex/latex/lwarp/lwarp-ntheorem.sty
new file mode 100644
index 00000000000..21a1229a28d
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/lwarp/lwarp-ntheorem.sty
@@ -0,0 +1,543 @@
+%%
+%% This is file `lwarp-ntheorem.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% lwarp.dtx (with options: `ntheorem')
+%% This is a generated file.
+%% Copyright 2016-2017 Brian Dunn
+%%
+%% This work may be distributed and/or modified under the
+%% conditions of the LaTeX Project Public License, either version 1.3
+%% of this license or (at your option) any later version.
+%% The latest version of this license is in
+%% http://www.latex-project.org/lppl.txt
+%% and version 1.3 or later is part of all distributions of LaTeX
+%% version 2005/12/01 or later.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+\DeclareOption{thref}{}
+
+\newbool{LWR@ntheoremmarks}
+\boolfalse{LWR@ntheoremmarks}
+
+\DeclareOption{thmmarks}{
+\booltrue{LWR@ntheoremmarks}
+\newif\ifsetendmark\setendmarktrue
+}
+
+\newbool{LWR@ntheoremamsthm}
+\boolfalse{LWR@ntheoremamsthm}
+
+\DeclareOption{amsthm}{\booltrue{LWR@ntheoremamsthm}}
+
+\DeclareOption{amsmath}{}
+\DeclareOption{hyperref}{}
+
+\LWR@ProvidesPackagePass{ntheorem}
+\newcommand{\LWR@newtheoremstyle}{plain}
+\gdef\theoremstyle#1{%
+ \@ifundefined{th@#1}{\@warning
+ {Unknown theoremstyle `#1'. Using `plain'}%
+ \theorem@style{plain}
+ \renewcommand{\LWR@newtheoremstyle}{plain}% new
+}%
+ {
+\theorem@style{#1}
+ \renewcommand{\LWR@newtheoremstyle}{#1}% new
+}
+}
+
+
+\gdef\@xnthm#1#2[#3]{%
+ \ifthm@tempif
+ \csedef{LWR@thmstyle#1}{\LWR@newtheoremstyle}% new
+ \expandafter\@ifundefined{c@#1}%
+ {\@definecounter{#1}}{}%
+ \@newctr{#1}[#3]%
+ \expandafter\xdef\csname the#1\endcsname{%
+ \expandafter\noexpand\csname the#3\endcsname \@thmcountersep
+ {\noexpand\csname\the\theoremnumbering\endcsname{#1}}}%
+ \expandafter\gdef\csname mkheader@#1\endcsname
+ {\csname setparms@#1\endcsname
+ \@thm{#1}{#1}{#2}
+}%
+ \global\@namedef{end#1}{\@endtheorem}
+ \AtBeginEnvironment{#1}{\edef\LWR@thisthmstyle{\csuse{LWR@thmstyle#1}}}% new
+ \fi
+}
+
+\gdef\@ynthm#1#2{%
+ \ifthm@tempif
+ \csedef{LWR@thmstyle#1}{\LWR@newtheoremstyle}% new
+ \expandafter\@ifundefined{c@#1}%
+ {\@definecounter{#1}}{}%
+ \expandafter\xdef\csname the#1\endcsname
+ {\noexpand\csname\the\theoremnumbering\endcsname{#1}}%
+ \expandafter\gdef\csname mkheader@#1\endcsname
+ {\csname setparms@#1\endcsname
+ \@thm{#1}{#1}{#2}
+}%
+ \global\@namedef{end#1}{\@endtheorem}
+ \AtBeginEnvironment{#1}{\edef\LWR@thisthmstyle{\csuse{LWR@thmstyle#1}}}% new
+ \fi
+}
+
+\gdef\@othm#1[#2]#3{%
+ \@ifundefined{c@#2}{\@nocounterr{#2}}%
+ {\ifthm@tempif
+ \csedef{LWR@thmstyle#1}{\LWR@newtheoremstyle}% new
+ \global\@namedef{the#1}{\@nameuse{the#2}}%
+ \expandafter\protected@xdef\csname num@addtheoremline#1\endcsname{%
+ \noexpand\@num@addtheoremline{#1}{#3}}%
+ \expandafter\protected@xdef\csname nonum@addtheoremline#1\endcsname{%
+ \noexpand\@nonum@addtheoremline{#1}{#3}}%
+ \theoremkeyword{#3}%
+ \expandafter\protected@xdef\csname #1Keyword\endcsname
+ {\the\theoremkeyword}%
+ \expandafter\gdef\csname mkheader@#1\endcsname
+ {\csname setparms@#1\endcsname
+ \@thm{#1}{#2}{#3}
+}%
+ \global\@namedef{end#1}{\@endtheorem}
+ \AtBeginEnvironment{#1}{\edef\LWR@thisthmstyle{\csuse{LWR@thmstyle#1}}}% new
+ \fi}
+}
+\newcommand{\LWR@inctheorem}{%
+\addtocounter{LWR@thisfloat}{1}%
+\LWR@stoppars%
+\LWR@htmltag{a id="autofloat-\arabic{LWR@thisfloat}"{}}\LWR@htmltag{/a}%
+\LWR@startpars%
+}
+\gdef\newtheoremstyle#1#2#3{%
+ \expandafter\@ifundefined{th@#1}%
+ {\expandafter\gdef\csname th@#1\endcsname{%
+ \def\@begintheorem####1####2{%
+\BlockClass{theorembody#1}%\LWR@thisthmstyle% new
+\LWR@inctheorem% new
+#2}%
+ \def\@opargbegintheorem####1####2####3{%
+\BlockClass{theorembody#1}%\LWR@thisthmstyle% new
+\LWR@inctheorem% new
+#3}%
+}%
+}%
+{\PackageError{\basename}{Theorem style #1 already defined}\@eha}
+}
+
+\renewtheoremstyle{plain}%
+ {\item[\hskip\labelsep \theorem@headerfont
+\InlineClass{theoremheaderplain}{##1\ ##2\theorem@separator}]}%
+ {\item[\hskip\labelsep \theorem@headerfont
+\InlineClass{theoremheaderplain}{##1\ ##2\ (##3)\theorem@separator}]}
+
+\renewtheoremstyle{break}%
+ {\item[
+\hskip\labelsep \theorem@headerfont
+\InlineClass{theoremheaderbreak}{##1\ ##2\theorem@separator}\newline
+]}%
+ {\item[
+\hskip\labelsep \theorem@headerfont
+\InlineClass{theoremheaderbreak}{##1\ ##2\ (##3)\theorem@separator}\newline
+]}
+
+\renewtheoremstyle{change}%
+ {\item[\hskip\labelsep
+\theorem@headerfont
+\InlineClass{theoremheaderchange}{##2\ ##1\theorem@separator}]}%
+ {\item[\hskip\labelsep
+\theorem@headerfont
+\InlineClass{theoremheaderchange}{##2\ ##1\ (##3)\theorem@separator}]}
+
+\renewtheoremstyle{changebreak}%
+ {\item[
+\hskip\labelsep \theorem@headerfont
+\InlineClass{theoremheaderchangebreak}{##2\ ##1\theorem@separator}\newline
+]}%
+ {\item[
+\hskip\labelsep \theorem@headerfont
+\InlineClass{theoremheaderchangebreak}{##2\ ##1\ (##3)\theorem@separator}\newline
+]}
+
+\renewtheoremstyle{margin}%
+ {\item[\hskip\labelsep\theorem@headerfont
+\InlineClass{theoremheadermargin}{##2 \qquad ##1\theorem@separator}
+]}%
+ {\item[\hskip\labelsep\theorem@headerfont
+\InlineClass{theoremheadermargin}{##2 \qquad ##1\ (##3)\theorem@separator}
+]}
+
+\renewtheoremstyle{marginbreak}%
+ {\item[\hskip\labelsep\theorem@headerfont
+\InlineClass{theoremheadermarginbreak}{##2 \qquad ##1\theorem@separator}\newline
+]}%
+ {\item[\hskip\labelsep\theorem@headerfont
+\InlineClass{theoremheadermarginbreak}{##2 \qquad ##1\ (##3)\theorem@separator}\newline
+]}
+
+\renewtheoremstyle{nonumberplain}%
+ {\item[\theorem@headerfont\hskip\labelsep
+\InlineClass{theoremheaderplain}{##1\theorem@separator}]}%
+ {\item[\theorem@headerfont\hskip \labelsep
+\InlineClass{theoremheaderplain}{##1\ (##3)\theorem@separator}]}
+
+\renewtheoremstyle{nonumberbreak}%
+ {\item[
+\hskip\labelsep \theorem@headerfont
+\InlineClass{theoremheaderbreak}{##1\theorem@separator}\newline
+]}%
+ {\item[
+\hskip\labelsep \theorem@headerfont
+\InlineClass{theoremheaderbreak}{##1\ (##3)\theorem@separator}\newline
+]}
+
+\renewtheoremstyle{empty}%
+ {\item[]}%
+ {\item[\theorem@headerfont \hskip\labelsep\relax
+\InlineClass{theoremheaderplain}{##3}]}
+
+\renewtheoremstyle{emptybreak}%
+ {\item[]}%
+ {\item[\theorem@headerfont \hskip\labelsep\relax
+\InlineClass{theoremheaderplain}{##3}] \ \newline}
+\ifbool{LWR@ntheoremamsthm}{}{
+\newtheoremstyle{plainupright}%
+ {\item[\hskip\labelsep \theorem@headerfont
+\InlineClass{theoremheaderplain}{##1\ ##2\theorem@separator}]}%
+ {\item[\hskip\labelsep \theorem@headerfont
+\InlineClass{theoremheaderplain}{##1\ ##2\ (##3)\theorem@separator}]}
+
+\newtheoremstyle{nonumberplainuprightsc}%
+ {\item[\theorem@headerfont\hskip\labelsep
+\InlineClass{theoremheadersc}{##1\theorem@separator}]}%
+ {\item[\theorem@headerfont\hskip \labelsep
+\InlineClass{theoremheadersc}{##1\ (##3)\theorem@separator}]}
+\theoremstyle{plainupright}
+\theorembodyfont{\upshape}
+\theoremsymbol{\ensuremath{_\Box}}
+\renewtheorem{Example}{Example}
+\renewtheorem{example}{Example}
+\renewtheorem{Beispiel}{Beispiel}
+\renewtheorem{beispiel}{Beispiel}
+\renewtheorem{Bemerkung}{Bemerkung}
+\renewtheorem{bemerkung}{Bemerkung}
+\renewtheorem{Anmerkung}{Anmerkung}
+\renewtheorem{anmerkung}{Anmerkung}
+\renewtheorem{Remark}{Remark}
+\renewtheorem{remark}{Remark}
+\renewtheorem{Definition}{Definition}
+\renewtheorem{definition}{Definition}
+
+\theoremstyle{nonumberplainuprightsc}
+\theoremsymbol{\ensuremath{_\blacksquare}}
+\renewtheorem{Proof}{Proof}
+\renewtheorem{proof}{Proof}
+\renewtheorem{Beweis}{Beweis}
+\renewtheorem{beweis}{Beweis}
+\qedsymbol{\ensuremath{_\blacksquare}}
+
+\theoremsymbol{}
+}% not amsthm
+\ifbool{LWR@ntheoremamsthm}{
+
+\gdef\th@plain{%
+ \def\theorem@headerfont{\normalfont\bfseries}\itshape%
+ \def\@begintheorem##1##2{%
+\BlockClass{theorembodyplain}% new
+\LWR@inctheorem% new
+ \item[\hskip\labelsep
+ \InlineClass{theoremheaderplain}{##1\ ##2.}
+]}%
+ \def\@opargbegintheorem##1##2##3{%
+\BlockClass{theorembodyplain}% new
+\LWR@inctheorem% new
+ \item[\hskip\labelsep
+ \InlineClass{theoremheaderplain}{##1\ ##2\ (##3).}
+]}}
+
+\gdef\th@nonumberplain{%
+ \def\theorem@headerfont{\normalfont\bfseries}\itshape%
+ \def\@begintheorem##1##2{%
+\BlockClass{theorembodyplain}% new
+\LWR@inctheorem% new
+ \item[\hskip\labelsep
+ \InlineClass{theoremheaderplain}{##1.}
+]}%
+ \def\@opargbegintheorem##1##2##3{%
+\BlockClass{theorembodyplain}% new
+\LWR@inctheorem% new
+ \item[\hskip\labelsep
+ \InlineClass{theoremheaderplain}{##1\ (##3).}
+]}}
+
+\gdef\th@definition{%
+ \def\theorem@headerfont{\normalfont\bfseries}\normalfont%
+ \def\@begintheorem##1##2{%
+\BlockClass{theorembodydefinition}% new
+\LWR@inctheorem% new
+ \item[\hskip\labelsep
+ \InlineClass{theoremheaderdefinition}{##1\ ##2.}
+]}%
+ \def\@opargbegintheorem##1##2##3{%
+\BlockClass{theorembodydefinition}% new
+\LWR@inctheorem% new
+ \item[\hskip\labelsep
+ \InlineClass{theoremheaderdefinition}{##1\ ##2\ (##3).}
+]}}
+
+\gdef\th@nonumberdefinition{%
+ \def\theorem@headerfont{\normalfont\bfseries}\normalfont%
+ \def\@begintheorem##1##2{%
+\BlockClass{theorembodydefinition}% new
+\LWR@inctheorem% new
+ \item[\hskip\labelsep
+ \InlineClass{theoremheaderdefinition}{##1.}
+]}%
+ \def\@opargbegintheorem##1##2##3{%
+\BlockClass{theorembodydefinition}% new
+\LWR@inctheorem% new
+ \item[\hskip\labelsep
+ \InlineClass{theoremheaderdefinition}{##1\ (##3).}
+]}}
+
+\gdef\th@remark{%
+ \def\theorem@headerfont{\itshape}\normalfont%
+ \def\@begintheorem##1##2{%
+\BlockClass{theorembodyremark}% new
+\LWR@inctheorem% new
+ \item[\hskip\labelsep
+ \InlineClass{theoremheaderremark}{##1\ ##2.}
+]}%
+ \def\@opargbegintheorem##1##2##3{%
+\BlockClass{theorembodyremark}% new
+\LWR@inctheorem% new
+ \item[\hskip\labelsep
+ \InlineClass{theoremheaderremark}{##1\ ##2\ (##3).}
+]}}
+
+\gdef\th@nonumberremark{%
+ \def\theorem@headerfont{\itshape}\normalfont%
+ \def\@begintheorem##1##2{%
+\BlockClass{theorembodyremark}% new
+\LWR@inctheorem% new
+ \item[\hskip\labelsep
+ \InlineClass{theoremheaderremark}{##1.}
+]}%
+ \def\@opargbegintheorem##1##2##3{%
+\BlockClass{theorembodyremark}% new
+\LWR@inctheorem% new
+ \item[\hskip\labelsep
+ \InlineClass{theoremheaderremark}{##1\ (##3).}
+]}}
+
+\gdef\th@proof{%
+ \def\theorem@headerfont{\normalfont\bfseries}\itshape%
+ \def\@begintheorem##1##2{%
+\BlockClass{theorembodyproof}% new
+\LWR@inctheorem% new
+ \item[\hskip\labelsep
+ \InlineClass{theoremheaderproof}{##1.}
+]}%
+ \def\@opargbegintheorem##1##2##3{%
+\BlockClass{theorembodyroof}% new
+\LWR@inctheorem% new
+ \item[\hskip\labelsep
+ \InlineClass{theoremheaderproof}{##1\ (##3).}
+]}}
+
+\newcounter{proof}%
+\if@thmmarks
+\newcounter{currproofctr}%
+\newcounter{endproofctr}%
+\fi
+
+\gdef\proofSymbol{\openbox}
+
+\newcommand{\proofname}{Proof}
+
+\newenvironment{proof}[1][\proofname]{
+\th@proof
+\def\theorem@headerfont{\itshape}%
+\normalfont
+\theoremsymbol{\ensuremath{_\blacksquare}}
+\@thm{proof}{proof}{#1}
+}%
+{\@endtheorem}
+
+}{}% amsthm option
+\let\LWR@origendtheorem\@endtheorem
+\renewcommand{\@endtheorem}{%
+\ifbool{LWR@ntheoremmarks}{%
+\ifsetendmark%
+\InlineClass{theoremendmark}{\csname\InTheoType Symbol\endcsname}%
+\setendmarkfalse%
+\fi%
+}{}%
+\LWR@origendtheorem%
+\ifbool{LWR@ntheoremmarks}{\global\setendmarktrue}{}%
+\endBlockClass%
+}
+
+\gdef\NoEndMark{\global\setendmarkfalse}
+
+\renewcommand{\thm@@thmline@noname}[4]{%
+\hypertocfloat{1}{theorem}{thm}{#2 #3}{}%
+}
+
+\renewcommand{\thm@@thmline@name}[4]{%
+\hypertocfloat{1}{theorem}{thm}{#1 #2 #3}{}%
+}
+\def\thm@@thmline{\thm@@thmline@name}
+
+\def\listtheorems#1{
+\LWR@htmlelementclass{nav}{lothm}%
+\begingroup
+\c@tocdepth=-2%
+\def\thm@list{#1}\thm@processlist
+\endgroup
+\LWR@htmlelementclassend{nav}{lothm}%
+}
+
+
+\newcommand{\qed}{\qquad\the\qedsymbol}
+
+\AtBeginDocument{
+\def\openbox{\text{\HTMLunicode{25A1}}}% UTF-8 white box
+\def\blacksquare{\text{\HTMLunicode{220E}}}% UTF-8 end-of-proof
+\def\Box{\text{\HTMLunicode{25A1}}}% UTF-8 white box
+}
+\newcommand*{\thref}[1]{\cref{#1}}
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+\endinput
+%%
+%% End of file `lwarp-ntheorem.sty'.