\begin{indexenv}
\indexitem {\tt -all}, \@locref{@indexN52}{3.4}, \@locref{@indexN53}{3.4}, \bold{\@locref{@indexN65}{4.1}}
\indexitem {\tt \_\_all}, \@locref{@indexN40}{3.3.8}
\indexitem {\tt -alternation}, \bold{\@locref{@indexN86}{4.1}}
\indexitem {\tt -no-alternation}, \@locref{@indexN18}{3.3.4}, \@locref{@indexN20}{3.3.4}, \@locref{@indexN23}{3.3.4}, \@locref{@indexN26}{3.3.4}, \@locref{@indexN39}{3.3.7}, \bold{\@locref{@indexN87}{4.1}}
\indexitem auto2pl, \@locref{@indexN45}{3.3.8}
\indexitem {\tt auto2pl}, \@locref{@indexN31}{3.3.6}, \@locref{@indexN35}{3.3.7}, \@locref{@indexN47}{3.3.8}
\indexspace
\indexitem {\tt -body-chop}, \bold{\@locref{@indexN95}{4.1}}
\indexspace
\indexitem {\tt -check-h1}, \@locref{@indexN7}{3.2}, \@locref{@indexN9}{3.2}, \@locref{@indexN50}{3.4}, \@locref{@indexN51}{3.4}, \bold{\@locref{@indexN63}{4.1}}
\indexitem {\tt -complete}, \@locref{@indexN48}{3.3.8}
\indexitem {\tt cpp}, \@locref{@indexN1}{3.2}, \@locref{@indexN3}{3.2}, \@locref{@indexN4}{3.2}, \@locref{@indexN5}{3.2}, \@locref{@indexN8}{3.2}
\indexspace
\indexitem {\tt -deep-abbrv}, \bold{\@locref{@indexN89}{4.1}}
\indexitem {\tt -no-deep-abbrv}, \bold{\@locref{@indexN90}{4.1}}
\indexspace
\indexitem {\tt -first}, \bold{\@locref{@indexN64}{4.1}}
\indexspace
\indexitem {\tt grep}, \@locref{@indexN6}{3.2}
\indexspace
\indexitem {\tt -h}, \bold{\@locref{@indexN58}{4.1}}
\indexitem {\tt h1.pgr}, \@locref{@indexN72}{4.1}, \@locref{@indexN79}{4.1}
\indexitem {\tt h1mon}, \@locref{@indexN71}{4.1}, \@locref{@indexN78}{4.1}
\indexitem {\tt h1trace}, \@locref{@indexN2}{3.2}, \@locref{@indexN16}{3.3.3}
\indexspace
\indexitem {\tt less}, \@locref{@indexN0}{3.1}
\indexitem {\tt -log-out}, \@locref{@indexN15}{3.3.3}, \@locref{@indexN56}{3.4}, \@locref{@indexN60}{4.1}, \@locref{@indexN62}{4.1}, \bold{\@locref{@indexN68}{4.1}}
\indexitem {\tt -log}, \@locref{@indexN61}{4.1}, \bold{\@locref{@indexN66}{4.1}}
\indexitem {\tt -no-log}, \bold{\@locref{@indexN67}{4.1}}
\indexspace
\indexitem {\tt -model}, \@locref{@indexN21}{3.3.4}, \bold{\@locref{@indexN73}{4.1}}, \@locref{@indexN88}{4.1}
\indexitem {\tt -no-model}, \bold{\@locref{@indexN74}{4.1}}
\indexitem {\tt -monadic-proxy}, \bold{\@locref{@indexN93}{4.1}}
\indexspace
\indexitem {\tt -path-refine}, \bold{\@locref{@indexN85}{4.1}}
\indexitem {\tt pl2gastex}, \@locref{@indexN13}{3.3.1}, \@locref{@indexN27}{3.3.4}, \@locref{@indexN28}{3.3.4}, \@locref{@indexN32}{3.3.6}, \@locref{@indexN42}{3.3.8}, \@locref{@indexN46}{3.3.8}
\indexitem {\tt pl2tptp}, \@locref{@indexN24}{3.3.4}, \@locref{@indexN37}{3.3.7}
\indexitem {\tt pldet}, \@locref{@indexN30}{3.3.6}, \@locref{@indexN34}{3.3.7}, \@locref{@indexN44}{3.3.8}
\indexitem {\tt plpurge}, \@locref{@indexN29}{3.3.5}
\indexitem {\tt -no-progress}, \bold{\@locref{@indexN76}{4.1}}
\indexitem {\tt -progress}, \@locref{@indexN69}{4.1}, \bold{\@locref{@indexN75}{4.1}}
\indexspace
\indexitem {\tt -no-resolve}, \@locref{@indexN54}{3.4}, \@locref{@indexN55}{3.4}, \@locref{@indexN57}{3.4}, \@locref{@indexN81}{4.1}
\indexitem {\tt -resolve}, \bold{\@locref{@indexN80}{4.1}}
\indexspace
\indexitem {\tt sort}, \@locref{@indexN49}{3.3.8}
\indexitem {\tt -no-sort-simplify}, \bold{\@locref{@indexN92}{4.1}}
\indexitem {\tt -sort-simplify}, \bold{\@locref{@indexN91}{4.1}}
\indexitem {\tt -standard-approx}, \bold{\@locref{@indexN94}{4.1}}
\indexspace
\indexitem {\tt $\top$}, \see{\tt \_\_all}{\@locref{@indexN41}{3.3.8}}
\indexitem {\tt -no-trim}, \@locref{@indexN10}{3.3}, \@locref{@indexN12}{3.3}, \@locref{@indexN14}{3.3.2}, \@locref{@indexN17}{3.3.3}, \@locref{@indexN19}{3.3.4}, \@locref{@indexN22}{3.3.4}, \@locref{@indexN25}{3.3.4}, \@locref{@indexN33}{3.3.7}, \@locref{@indexN38}{3.3.7}, \@locref{@indexN43}{3.3.8}, \bold{\@locref{@indexN83}{4.1}}, \@locref{@indexN84}{4.1}
\indexitem {\tt -trim}, \@locref{@indexN11}{3.3}, \bold{\@locref{@indexN82}{4.1}}
\indexitem {\tt twopi}, \@locref{@indexN36}{3.3.7}
\indexspace
\indexitem {\tt -v}, \bold{\@locref{@indexN59}{4.1}}
\indexspace
\indexitem {\tt watch}, \@locref{@indexN70}{4.1}, \@locref{@indexN77}{4.1}
\end{indexenv}
