\begin{theindex}

  \item {\ptt latex\_all\_theorems\_add\_to}, 9
  \item {\ptt latex\_all\_theorems\_to}, 9
  \item {\ptt latex\_all\_thm}, 10
  \item {\ptt latex\_all\_thm\_add\_to}, 10
  \item {\ptt latex\_all\_thm\_to}, 11
  \item {\ptt latex\_term}, 11
  \item {\ptt latex\_term\_add\_to}, 12
  \item {\ptt latex\_theorems\_add\_to}, 13
  \item {\ptt latex\_theorems\_to}, 14
  \item {\ptt latex\_theory\_to}, 15
  \item {\ptt latex\_thm}, 16
  \item {\ptt latex\_thm\_add\_to}, 17
  \item {\ptt latex\_thm\_to}, 13, 17
  \item {\ptt latex\_type}, 18
  \item {\ptt latex\_type\_add\_to}, 19
  \item {\ptt latex\_type\_to}, 19

\end{theindex}
