\doc{Hints on using LP}
\ref{hints-general}
\ref{hints}

There are a number of hints that beginning users of LP may find helpful.  These
hints fall into the following categories.

\begin{itemize}
\item \dlink{hints_io}{Preparing input and recording work}
\item \dlink{hints_formalizing}{Formalizing axioms and conjectures}
\item \dlink{hints_ordering}{Orienting formulas into rewrite rules}
\item \dlink{hints_proofs}{Managing proofs}
\item \dlink{hints_speed}{Making proofs go faster}
\end{itemize}