--- a/doc-src/TutorialI/Rules/ROOT.ML Wed Jun 22 19:44:03 2005 +0200
+++ b/doc-src/TutorialI/Rules/ROOT.ML Wed Jun 22 19:44:12 2005 +0200
@@ -5,3 +5,4 @@
use_thy "Forward";
use_thy "Tacticals";
+use_thy "find2";
\ No newline at end of file
--- 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}