equal
deleted
inserted
replaced
1807 \end{tabular} |
1807 \end{tabular} |
1808 \end{center} |
1808 \end{center} |
1809 |
1809 |
1810 \section{Finding More Theorems} |
1810 \section{Finding More Theorems} |
1811 \label{sec:find2} |
1811 \label{sec:find2} |
1812 \input{Rules/document/find2.tex} |
1812 \input{document/find2.tex} |
1813 |
1813 |
1814 |
1814 |
1815 \section{Forward Proof: Transforming Theorems}\label{sec:forward} |
1815 \section{Forward Proof: Transforming Theorems}\label{sec:forward} |
1816 |
1816 |
1817 \index{forward proof|(}% |
1817 \index{forward proof|(}% |