\begin{theindex}

  \item {\tt -all}\dotfill 44, \bold{46}
  \item {\tt \_\_all}\dotfill 35
  \item {\tt -alternation}\dotfill \bold{48}
  \item {\tt -no-alternation}\dotfill 21, 23, 33, \bold{48}
  \item auto2pl\dotfill 36
  \item {\tt auto2pl}\dotfill 28, 30, 36

  \indexspace

  \item {\tt -body-chop}\dotfill \bold{49}

  \indexspace

  \item {\tt -check-h1}\dotfill 14, 43, 44, \bold{46}
  \item {\tt -complete}\dotfill 36
  \item {\tt cpp}\dotfill 13, 14

  \indexspace

  \item {\tt -deep-abbrv}\dotfill \bold{48}
  \item {\tt -no-deep-abbrv}\dotfill \bold{48}

  \indexspace

  \item {\tt -first}\dotfill \bold{46}

  \indexspace

  \item {\tt grep}\dotfill 13

  \indexspace

  \item {\tt -h}\dotfill \bold{45}
  \item {\tt h1.pgr}\dotfill 47
  \item {\tt h1mon}\dotfill 47
  \item {\tt h1trace}\dotfill 13, 19

  \indexspace

  \item {\tt less}\dotfill 11
  \item {\tt -log-out}\dotfill 19, 45, 46, \bold{46}, 52
  \item {\tt -log}\dotfill 46, \bold{46}
  \item {\tt -no-log}\dotfill \bold{46}

  \indexspace

  \item {\tt -model}\dotfill 21, \bold{47}, 48
  \item {\tt -no-model}\dotfill \bold{47}
  \item {\tt -monadic-proxy}\dotfill \bold{49}

  \indexspace

  \item {\tt -path-refine}\dotfill \bold{48}
  \item {\tt pl2gastex}\dotfill 16, 24, 28, 35, 36
  \item {\tt pl2tptp}\dotfill 23, 33
  \item {\tt pldet}\dotfill 26, 30, 36
  \item {\tt plpurge}\dotfill 24
  \item {\tt -no-progress}\dotfill \bold{47}
  \item {\tt -progress}\dotfill 47, \bold{47}

  \indexspace

  \item {\tt -no-resolve}\dotfill 45, 48
  \item {\tt -resolve}\dotfill \bold{48}

  \indexspace

  \item {\tt sort}\dotfill 36
  \item {\tt -no-sort-simplify}\dotfill \bold{49}
  \item {\tt -sort-simplify}\dotfill \bold{49}
  \item {\tt -standard-approx}\dotfill \bold{49}

  \indexspace

  \item {\tt $\top$}\dotfill \see{\tt \_\_all}{35}
  \item {\tt -no-trim}\dotfill 15--17, 20, 21, 23, 29, 33, 36, 48, 
		\bold{48}
  \item {\tt -trim}\dotfill 16, \bold{48}
  \item {\tt twopi}\dotfill 33

  \indexspace

  \item {\tt -v}\dotfill \bold{45}

  \indexspace

  \item {\tt watch}\dotfill 47

  \indexspace

  \item {\tt zcat}\dotfill 47

\end{theindex}
