summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/apxproof/examples/common.tex
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2016-11-07 22:14:47 +0000
committerKarl Berry <karl@freefriends.org>2016-11-07 22:14:47 +0000
commit293604ad265c7c828f4f9183844ed5e6647c2b84 (patch)
treea8a0f589a3469638c62162c528ed5bbaa1f781e9 /Master/texmf-dist/doc/latex/apxproof/examples/common.tex
parentb1b67581fd39f2b92216cce5ea85f1c40d2c3391 (diff)
apxproof (7nov16)
git-svn-id: svn://tug.org/texlive/trunk@42453 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/apxproof/examples/common.tex')
-rw-r--r--Master/texmf-dist/doc/latex/apxproof/examples/common.tex134
1 files changed, 0 insertions, 134 deletions
diff --git a/Master/texmf-dist/doc/latex/apxproof/examples/common.tex b/Master/texmf-dist/doc/latex/apxproof/examples/common.tex
deleted file mode 100644
index 788a5eec969..00000000000
--- a/Master/texmf-dist/doc/latex/apxproof/examples/common.tex
+++ /dev/null
@@ -1,134 +0,0 @@
-\usepackage{hyperref}
-
-\newtheoremrep{theorem}{Theorem}
-\newtheoremrep{lemma}{Lemma}
-
-\renewcommand{\appendixsectionformat}[2]{Material for #2 (Section~#1)}
-
-\begin{document}
-Hello world!
-
-\begin{theoremrep}
- \label{th:toto}
- This is a great result.
-\end{theoremrep}
-
-\begin{proofsketch}
- This is the proof sketch of Theorem~\ref{th:toto}.
-\end{proofsketch}
-
-\begin{proof}
- This is the proof of Theorem~\ref{th:toto}.
-\end{proof}
-
-\section{Section without Theorems}
-
-Since this section does not have any appendix content, it will not appear in the
-appendix. \cite{brin1998anatomy}
-
-\section{Section with Some Appendix Content}
-
-Not much in the main text.
-
-\begin{toappendix}
- Hello appendix!
-\end{toappendix}
-
-\section{Section with Theorems}
-
-\begin{theoremrep}
- \label{th:titi}
- Another great result.
-\end{theoremrep}
-
-\begin{proofsketch}
- Proof sketch of Theorem~\ref{th:titi}.
-\end{proofsketch}
-
-\begin{proof}
- Proof of Theorem~\ref{th:titi}.
-
- For some reason, this proof has an inline Lemma:
- \begin{lemma}
- This is the lemma.
- \end{lemma}
-
- \begin{nestedproof}
- And this lemma has a proof as well!
- \end{nestedproof}
-
- This concludes the global proof of Theorem~\ref{th:titi}.
-\end{proof}
-
-\begin{theoremrep}
- \label{th:tutu}
- Another great result, without any proof sketch.
-\end{theoremrep}
-
-\begin{proof}
- Proof of Theorem~\ref{th:tutu}. It has two
- references~\cite{sitemaps,brin1998anatomy}.
-\end{proof}
-
-\begin{theorem}
- A regular theorem, not repeated.
-\end{theorem}
-
-\begin{proof}
-This regular theorem is naturally followed with an inline proof.
-\end{proof}
-
-\begin{theoremrep}
- \label{th:weird}
- A repeated theorem, but with two proofs, one in Appendix and one in
- main text.
-\end{theoremrep}
-
-\begin{inlineproof}
- Main text proof of Theorem~\ref{th:weird}.
-\end{inlineproof}
-
-\begin{proof}
- Appendix proof of Theorem~\ref{th:weird}.
-\end{proof}
-
-\begin{toappendix}
-And now for no particular reason, two isolated proofs in the appendix,
- written in two different ways:
-
- \begin{proof}[Proof of a non-existing result]
- First with a regular \texttt{proof} environment inside a
- \texttt{toappendix} environment.
- \end{proof}
-\end{toappendix}
-
-\begin{appendixproof}
- Second, with the specific \texttt{appendixproof} environment (but then,
- cannot change the proof name).
-\end{appendixproof}
-
-\section{Last Section}
-
-\begin{theoremrep}
- Another theorem.
-\end{theoremrep}
-
-\begin{toappendix}
- This theorem does not have a proof, but a discussion in the appendix.
- \textsf{apxproof} can figure, because of the \verb|theorem| environment
- that follows, that the proof of the following theorem is not a proof of
- this theorem.
-\end{toappendix}
-
-\begin{theorem}
- Last theorem, not repeated.
-\end{theorem}
-
-\begin{proof}
- Proof, inlined.
-\end{proof}
-
-\bibliographystyle{plain}
-\bibliography{../common}
-
-\end{document}