\begin{theindex} 
 \makeatletter\scan@allowedfalse

  \item \verb*+\@addtoreset+\pfill 35
  \item \verb*+\@begintheorem+\pfill \main{14}, 69, \main{79}, 92, 107, 
		122, 134, 150
  \item \verb*+\@definecounter+\pfill 35, 48
  \item \verb*+\@endtheorem+\pfill 44, 45, 53, 54, 61, 62, \main{159}
  \item \verb*+\@opargbegintheorem+\pfill \main{14}, 71, \main{79}, 95, 
		110, 124, 138, 152
  \item \verb*+\@othm+\pfill \main{55}, 161
  \item \verb*+\@preamblecmds+\pfill \main{160}
  \item \verb*+\@thm+\pfill 43, 52, 60, \main{63}
  \item \verb*+\@thmcounter+\pfill 38, 49
  \item \verb*+\@thmcountersep+\pfill 38
  \item \verb*+\@topsep+\pfill 65
  \item \verb*+\@topsepadd+\pfill 66
  \item \verb*+\@xnthm+\pfill \main{33}, 161
  \item \verb*+\@xthm+\pfill \main{70}
  \item \verb*+\@ynthm+\pfill \main{47}, 161
  \item \verb*+\@ythm+\pfill 68, \main{70}

  \indexspace

  \item \verb*+\else+\pfill 26

  \indexspace

  \item \verb*+\fi+\pfill 26

  \indexspace

  \item \verb*+\ifx+\pfill 24

  \indexspace

  \item \verb*+\newskip+\pfill 155, 156
  \item \verb*+\newtheorem+\pfill \usage{1}, 162
  \item \verb*+\newtoks+\pfill 16, 18
  \item \verb*+\normalshape+\pfill 24, 26

  \indexspace

  \item \verb*+\th@break+\pfill \main{27}, \main{91}
  \item \verb*+\th@change+\pfill \main{27}, \main{121}
  \item \verb*+\th@changebreak+\pfill \main{27}, \main{106}
  \item \verb*+\th@margin+\pfill \main{27}, \main{149}
  \item \verb*+\th@marginbreak+\pfill \main{27}, \main{133}
  \item \verb*+\th@plain+\pfill \main{27}, \main{79}
  \item \verb*+\theorem@headerfont+\pfill 20, \main{24}, 81, 83, 93, 96, 
		108, 111, 123, 125, 135, 139, 151, 153
  \item \verb*+\theorem@style+\pfill 9, 10, 12, \main{16}, 41, 51, 59
  \item \verb*+\theorembodyfont+\pfill \usage{2}, \main{18}, 42, 52, 60, 
		162
  \item \verb*+\theoremheaderfont+\pfill \usage{2}, \main{20}, 163
  \item \verb*+\theorempostskipamount+\pfill \usage{2}, 66, \main{155}
  \item \verb*+\theorempreskipamount+\pfill \usage{2}, 65, \main{155}
  \item \verb*+\theoremstyle+\pfill \usage{2}, \main{6}, 162, 165

  \indexspace

  \item \verb*+\undefined+\pfill 24

 \end{theindex}