changeset 16546 | 77e7fd18b785 |
parent 16523 | f8a734dc0fbc |
child 25258 | 22d16596c306 |
--- a/doc-src/TutorialI/Rules/rules.tex Wed Jun 22 19:44:03 2005 +0200 +++ b/doc-src/TutorialI/Rules/rules.tex Wed Jun 22 19:44:12 2005 +0200 @@ -1808,6 +1808,10 @@ \end{tabular} \end{center} +\section{Finding More Theorems} +\label{sec:find2} +\input{Rules/document/find2.tex} + \section{Forward Proof: Transforming Theorems}\label{sec:forward}