summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/AkkTeX/akkmathproof.sty
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2012-04-19 18:00:55 +0000
committerKarl Berry <karl@freefriends.org>2012-04-19 18:00:55 +0000
commite206c9762da30438bee956fb796e43f39a6e987c (patch)
tree1c946498b852b4dc8d29eeb826063f81dea16c7a /Master/texmf-dist/tex/latex/AkkTeX/akkmathproof.sty
parent5f7e9c00e6b54f83ab434a77b83df184d65e37a9 (diff)
rm AkkTeX, renamed to akktex
git-svn-id: svn://tug.org/texlive/trunk@26054 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/AkkTeX/akkmathproof.sty')
-rw-r--r--Master/texmf-dist/tex/latex/AkkTeX/akkmathproof.sty176
1 files changed, 0 insertions, 176 deletions
diff --git a/Master/texmf-dist/tex/latex/AkkTeX/akkmathproof.sty b/Master/texmf-dist/tex/latex/AkkTeX/akkmathproof.sty
deleted file mode 100644
index 02a642c7eff..00000000000
--- a/Master/texmf-dist/tex/latex/AkkTeX/akkmathproof.sty
+++ /dev/null
@@ -1,176 +0,0 @@
-%=====================================================================================================================================
-% Package akkmathproof by Igor Akkerman (c) 2000, 2001, 2002, 2003, 2004, 2005
-% Package providing utilities for typesetting mathematical proofs.
-%
-% This work may be distributed and/or modified under the
-% conditions of the LaTeX Project Public License (latest version).
-%
-% The latest version of this license can be found at
-% http://www.latex-project.org/lppl.txt
-%
-% This file may only be distributed together with the full 'AkkTeX' bundle.
-%=====================================================================================================================================
-\NeedsTeXFormat{LaTeX2e}[1995/12/01]
-\ProvidesPackage{akkmathproof}[2005/04/30 1.2.0 by Igor Akkerman (c) 2000, 2001, 2002, 2003, 2004, 2005 Package providing utilities for typesetting mathematical proofs]
-%=====================================================================================================================================
-
-\RequirePackage{ifthen}
-
-\makeatletter
-
-%------------------------------------------------------------------------------
-% Universal proof utilities
-%------------------------------------------------------------------------------
-\newcommand \akk@prooflabel {Proof}
-
-\newcommand \prooflabel[1] {\renewcommand \akk@prooflabel {#1}}
-
-\newcommand \proofendsymbol {\ensuremath{\Box}}
-
-\newboolean{proofended}
-
-\newcommand \proofend {%
- \ifbool{mmode}{%
- \tag*{\proofendsymbol}%
- }{%
- \hspace*{\fill}\proofendsymbol%
- }%
- \global\proofendedtrue%
-}
-
-\newenvironment{proof}{%
- \unskip\par%
- \textit{\textbf{\akk@prooflabel:}}\\%
- \begin{proof*}%
-}{%
- \end{proof*}%
- \par%
-}
-
-\newenvironment{Proof}{%
- \unskip\par%
- \textit{\textbf{\akk@prooflabel:}}%
- \begin{proof*}%
-}{%
- \end{proof*}%
- \par%
-}
-
-\newenvironment{proof*}{%
- \setboolean{proofended}{false}%
-}{
- \ifboolfalse{proofended}{%
- \proofend%
- }%
-}
-
-\prooflabel{Beweis}
-
-\newenvironment {beweis} {%
- \begin{proof}%
-}{%
- \end{proof}%
-}
-
-\newenvironment {Beweis} {%
- \begin{Proof}%
-}{%
- \end{Proof}%
-}
-
-%------------------------------------------------------------------------------
-% Induction environments
-%------------------------------------------------------------------------------
-\newcommand \vind[2]{\textit{Beweis mittels vollständiger Induktion über $#1$:}\\}
-\newcommand \vindende {\indende{vollständige}}
-
-\newcommand \sind {\textit{Beweis durch strukturelle Induktion:\\}}
-\newcommand \sindende {\indende{strukturelle}}
-
-\newcommand{\indanf}[2]
-{Induktionsanfang ($#1=#2$):}
-
-\newcommand{\indanfs}
-{Induktionsanfang:}
-
-\newcommand{\indvor}
-{Induktionsvoraussetzung:}
-
-\newcommand{\indschritt}
-{Induktionsschritt:}
-
-\newcommand{\indende}[1]
-{Nach dem Prinzip der #1n Induktion folgt die Behauptung.\proofend}
-
-%------------------------------------------------------------------------------
-% equivalence and set equality proofs
-%------------------------------------------------------------------------------
-\newcommand \hinsymb {\glqq$\mathbf{\Rightarrow}$\grqq}
-\newcommand \ruecksymb {\glqq$\mathbf{\Leftarrow}$\grqq}
-\newcommand \sethinsymb {\glqq$\mathbf{\subseteq}$\grqq}
-\newcommand \setruecksymb {\glqq$\mathbf{\supseteq}$\grqq}
-\newcommand \ssethinsymb {\glqq$\mathbf{\subset}$\grqq}
-\newcommand \ssetruecksymb {\glqq$\mathbf{\supset}$\grqq}
-\newcommand \hin {\hinsymb \\*[2pt]}
-\newcommand \rueck {\ruecksymb \\*[2pt]}
-\newcommand \sethin {\sethinsymb \\*[2pt]}
-\newcommand \setrueck {\setruecksymb \\*[2pt]}
-\newcommand \ssethin {\ssethinsymb \\*[2pt]}
-\newcommand \ssetrueck {\ssetruecksymb \\*[2pt]}
-
-\newenvironment{equivproof}{%
- \begin{proof}%
- \begin{equivproof**}%
-}{%
- \proofend%
- \end{equivproof**}%
- \end{proof}%
-}
-
-\newenvironment{equivproof*}{%
- \begin{proof*}%
- \begin{equivproof**}%
-}{%
- \proofend%
- \end{equivproof**}%
- \end{proof*}%
-}
-
-\newenvironment{equivproof**}{%
- \renewcommand \hin {\item[\hinsymb]}%
- \renewcommand \rueck {\item[\ruecksymb]}%
- \begin{itemize}%
-}{%
- \end{itemize}%
-}
-
-\newenvironment{setequalproof}{%
- \begin{proof}%
- \begin{setequalproof**}%
-}{%
- \proofend%
- \end{setequalproof**}%
- \end{proof}%
-}
-
-\newenvironment{setequalproof*}{%
- \begin{proof*}%
- \begin{setequalproof**}%
-}{%
- \proofend%
- \end{setequalproof**}%
- \end{proof*}%
-}
-
-\newenvironment{setequalproof**}{%
- \renewcommand \sethin {\item[\sethinsymb]}%
- \renewcommand \setrueck {\item[\setruecksymb]}%
- \begin{itemize}%
-}{%
- \end{itemize}%
-}
-
-% infer
-\newcommand \dinfer[2] {\text{$\displaystyle\infer{#1}{#2}$}}
-
-\makeatother