\indexentry{less@{\tt less}}{11}
\indexentry{cpp@{\tt cpp}}{13}
\indexentry{h1trace@{\tt h1trace}}{13}
\indexentry{cpp@{\tt cpp}}{13}
\indexentry{cpp@{\tt cpp}}{13}
\indexentry{cpp@{\tt cpp}}{13}
\indexentry{grep@{\tt grep}}{13}
\indexentry{check-h1@{\tt -check-h1}}{14}
\indexentry{cpp@{\tt cpp}}{14}
\indexentry{check-h1@{\tt -check-h1}}{14}
\indexentry{trim@{\tt -no-trim}}{15}
\indexentry{trim@{\tt -trim}}{16}
\indexentry{trim@{\tt -no-trim}}{16}
\indexentry{pl2gastex@{\tt pl2gastex}}{16}
\indexentry{trim@{\tt -no-trim}}{17}
\indexentry{log@{\tt -log-out}}{19}
\indexentry{h1trace@{\tt h1trace}}{19}
\indexentry{trim@{\tt -no-trim}}{20}
\indexentry{alternation@{\tt -no-alternation}}{21}
\indexentry{trim@{\tt -no-trim}}{21}
\indexentry{alternation@{\tt -no-alternation}}{21}
\indexentry{model@{\tt -model}}{21}
\indexentry{trim@{\tt -no-trim}}{21}
\indexentry{alternation@{\tt -no-alternation}}{21}
\indexentry{pl2tptp@{\tt pl2tptp}}{23}
\indexentry{trim@{\tt -no-trim}}{23}
\indexentry{alternation@{\tt -no-alternation}}{23}
\indexentry{pl2gastex@{\tt pl2gastex}}{24}
\indexentry{pl2gastex@{\tt pl2gastex}}{24}
\indexentry{plpurge@{\tt plpurge}}{24}
\indexentry{pldet@{\tt pldet}}{26}
\indexentry{auto2pl@{\tt auto2pl}}{28}
\indexentry{pl2gastex@{\tt pl2gastex}}{28}
\indexentry{trim@{\tt -no-trim}}{29}
\indexentry{pldet@{\tt pldet}}{30}
\indexentry{auto2pl@{\tt auto2pl}}{30}
\indexentry{twopi@{\tt twopi}}{33}
\indexentry{pl2tptp@{\tt pl2tptp}}{33}
\indexentry{trim@{\tt -no-trim}}{33}
\indexentry{alternation@{\tt -no-alternation}}{33}
\indexentry{all@{\tt \_\_all}}{35}
\indexentry{top@{\tt $\top$}|see{\tt \_\_all}}{35}
\indexentry{pl2gastex@{\tt pl2gastex}}{35}
\indexentry{trim@{\tt -no-trim}}{36}
\indexentry{pldet@{\tt pldet}}{36}
\indexentry{auto2pl}{36}
\indexentry{pl2gastex@{\tt pl2gastex}}{36}
\indexentry{auto2pl@{\tt auto2pl}}{36}
\indexentry{complete@{\tt -complete}}{36}
\indexentry{sort@{\tt sort}}{36}
\indexentry{check-h1@{\tt -check-h1}}{43}
\indexentry{check-h1@{\tt -check-h1}}{44}
\indexentry{all@{\tt -all}}{44}
\indexentry{all@{\tt -all}}{44}
\indexentry{resolve@{\tt -no-resolve}}{45}
\indexentry{resolve@{\tt -no-resolve}}{45}
\indexentry{log@{\tt -log-out}}{45}
\indexentry{resolve@{\tt -no-resolve}}{45}
\indexentry{h@{\tt -h}|bold}{45}
\indexentry{v@{\tt -v}|bold}{45}
\indexentry{log@{\tt -log-out}}{45}
\indexentry{log@{\tt -log}}{46}
\indexentry{log@{\tt -log-out}}{46}
\indexentry{check-h1@{\tt -check-h1}|bold}{46}
\indexentry{first@{\tt -first}|bold}{46}
\indexentry{all@{\tt -all}|bold}{46}
\indexentry{log@{\tt -log}|bold}{46}
\indexentry{log@{\tt -no-log}|bold}{46}
\indexentry{log@{\tt -log-out}|bold}{46}
\indexentry{progress@{\tt -progress}}{46}
\indexentry{watch@{\tt watch}}{47}
\indexentry{h1mon@{\tt h1mon}}{47}
\indexentry{h1.pgr@{\tt h1.pgr}}{47}
\indexentry{model@{\tt -model}|bold}{47}
\indexentry{model@{\tt -no-model}|bold}{47}
\indexentry{progress@{\tt -progress}|bold}{48}
\indexentry{progress@{\tt -no-progress}|bold}{48}
\indexentry{watch@{\tt watch}}{48}
\indexentry{h1mon@{\tt h1mon}}{48}
\indexentry{h1.pgr@{\tt h1.pgr}}{48}
\indexentry{resolve@{\tt -resolve}|bold}{48}
\indexentry{resolve@{\tt -no-resolve}}{48}
\indexentry{trim@{\tt -trim}|bold}{48}
\indexentry{trim@{\tt -no-trim}|bold}{48}
\indexentry{trim@{\tt -no-trim}}{48}
\indexentry{path-refine@{\tt -path-refine}|bold}{48}
\indexentry{alternation@{\tt -alternation}|bold}{48}
\indexentry{alternation@{\tt -no-alternation}|bold}{48}
\indexentry{model@{\tt -model}}{48}
\indexentry{deep-abbrv@{\tt -deep-abbrv}|bold}{49}
\indexentry{deep-abbrv@{\tt -no-deep-abbrv}|bold}{49}
\indexentry{sort-simplify@{\tt -sort-simplify}|bold}{49}
\indexentry{sort-simplify@{\tt -no-sort-simplify}|bold}{49}
\indexentry{monadic-proxy@{\tt -monadic-proxy}|bold}{49}
\indexentry{standard-approx@{\tt -standard-approx}|bold}{49}
\indexentry{body-chop@{\tt -body-chop}|bold}{49}
