diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/apxproof/examples/common.tex')
-rw-r--r-- | Master/texmf-dist/doc/latex/apxproof/examples/common.tex | 134 |
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} |