summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/thmtools/thmtools.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/thmtools/thmtools.tex')
-rw-r--r--Master/texmf-dist/doc/latex/thmtools/thmtools.tex99
1 files changed, 99 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/thmtools/thmtools.tex b/Master/texmf-dist/doc/latex/thmtools/thmtools.tex
new file mode 100644
index 00000000000..6b8bef7ce29
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/thmtools/thmtools.tex
@@ -0,0 +1,99 @@
+%$Id: thmtools.tex,v 1.3 2008/02/17 21:08:04 ulmi Exp ulmi $
+\documentclass[a4paper, abstracton]{scrartcl}
+
+\usepackage[T1]{fontenc}
+\usepackage{fourier}
+\usepackage[scaled]{helvet}
+
+\addtokomafont{sectioning}{\fontseries{bc}\selectfont}
+
+\newcommand\thmtools{\textsf{thmtools}}
+
+\title{The \thmtools\ bundle\thanks{%
+ This is a beta version. If you want to slightly ahead of your time,
+ new development versions are availably from http://www.absatzen.de/thmtools.html
+}}
+\author{Ulrich M. Schwarz\thanks{ulmi@absatzen.de}}
+
+\begin{document}
+ \maketitle
+
+ \begin{abstract}
+ The \thmtools\ bundle provides several packages for commonly-needed
+ features for theorems. As designed, the bundle should work with kernel
+ theorems, the theorem package and the amsthm package.
+
+ \textbf{Warning:} Currently, things might still be a bit rough. You
+ might want to consider not relying on \thmtools\ for your Ph.D. thesis
+ masterpiece.
+ \end{abstract}
+
+
+ \section{thm-autoref}
+
+ Fixes cooperation with hyperref's \verb|\autoref|. No further intervention
+ on part of the user needed. (Loads aliasctr, thm-patch.)
+
+ \section{thm-listof}
+
+ Provides a \verb|\listoftheorems| command that works like
+ \verb|\listoffigures|. Also provided: a \verb|\ignoretheorems| command that
+ lets you exempt certain kinds:
+ \begin{verbatim}
+ \ignoretheorems{example,exercise,remark}
+ \end{verbatim}
+ There's currently no user interface to customize the appearance of the
+ LoTheorems. (Loads thm-patch.)
+
+ \section{thm-kv}
+
+ Provides a key-value alternative to \verb|\newtheorem|, because I keep
+ forgetting which optional argument goes where. Example:
+ \begin{verbatim}
+ \declaretheorem[unnumbered, title={Zorn's Lemma}]{zl}
+ %\newtheorem*{zl}{Zorn's Lemma}
+ \declaretheorem[numberwithin=section]{theorem}
+ %\newtheorem{theorem}{Theorem}[section]
+ \declaretheorem[sibling=theorem]{lemma}
+ %\newtheorem{lemma}[theorem]{Lemma}
+ \declaretheorem[numberlike=lemma]{axiom}
+ %\newtheorem{axiom}[lemma]{Axiom}
+ \end{verbatim}
+ Supported keywords (several for the same functionality, because if you
+ need to remember the keyword, you can just as well remember the order):
+ parent, numberwithin, within; sibling, numberlike, sharenumber;
+ unnumbered, starred\footnote{works only with amsthm}; title, name,
+ heading.
+
+ Note: it's actually optional to give a title, in that case, the default is
+ the name of the environment, with first letter uppercased.
+
+ \section{thm-restate}
+
+ Provides an environment \verb|restatable| that essentially puts the entire
+ theorem into a single macro command for later re-statement:
+ \begin{verbatim}
+ \begin{restatable}[Well-ordering]{theorem}{wohlordnung}\label{thm:order}
+ Every set is well-ordered.
+ \end{restatable}
+ And again: \wohlordnung
+ \end{verbatim}
+ Note that the label will be handled correctly (i.e. not re-defined).
+ Limitation: verbatim-like things will not work. There's no handling for
+ other counters, so it's not advisable to put floats inside a restatable.
+
+ \section{aliasctr}
+
+ Helper package, see separate doc.
+
+ \section{unique}
+
+ Helper package, see separate doc. Not used yet.
+
+ \section{thm-patch}
+ Helper package: redefines \verb|\newtheorem| so the defined theorems have
+ hooks we can use. Note that the redefinition will always allow
+ \verb|\newtheorem*| and giving contradicting optional arguments, but the
+ backend original \verb|\newtheorem| will complain.
+
+\end{document}