\begin{theindex}

  \item {\ptt CONJ\_FORALL\_CONV}, 11
  \item {\ptt CONJ\_FORALL\_ONCE\_CONV}, 12
  \item {\ptt CONJ\_FORALL\_RIGHT\_RULE}, 13

  \indexspace

  \item {\ptt DEPTH\_EXISTS\_CONV}, 14
  \item {\ptt DEPTH\_FORALL\_CONV}, 14

  \indexspace

  \item {\ptt EXISTS\_DEL1\_CONV}, 15
  \item {\ptt EXISTS\_DEL\_CONV}, 15
  \item {\ptt EXISTS\_EQN\_CONV}, 16
  \item {\ptt EXPAND\_ALL\_BUT\_CONV}, 16
  \item {\ptt EXPAND\_ALL\_BUT\_RIGHT\_RULE}, 18
  \item {\ptt EXPAND\_AUTO\_CONV}, 19
  \item {\ptt EXPAND\_AUTO\_RIGHT\_RULE}, 20

  \indexspace

  \item {\ptt FLATTEN\_CONJ\_CONV}, 21
  \item {\ptt FORALL\_CONJ\_CONV}, 22
  \item {\ptt FORALL\_CONJ\_ONCE\_CONV}, 23
  \item {\ptt FORALL\_CONJ\_RIGHT\_RULE}, 24

  \indexspace

  \item help
    \subitem updating search path, 1

  \indexspace

  \item {\ptt line\_name}, 25
  \item {\ptt line\_var}, 25
  \item {\ptt load\_library}, 1

  \indexspace

  \item {\ptt PRUNE\_CONV}, 25
  \item {\ptt PRUNE\_ONCE\_CONV}, 26
  \item {\ptt PRUNE\_ONE\_CONV}, 27
  \item {\ptt PRUNE\_RIGHT\_RULE}, 28
  \item {\ptt PRUNE\_SOME\_CONV}, 29
  \item {\ptt PRUNE\_SOME\_RIGHT\_RULE}, 30

  \indexspace

  \item {\ptt UNFOLD\_CONV}, 32
  \item {\ptt UNFOLD\_RIGHT\_RULE}, 32
  \item {\ptt UNWIND\_ALL\_BUT\_CONV}, 33
  \item {\ptt UNWIND\_ALL\_BUT\_RIGHT\_RULE}, 34
  \item {\ptt UNWIND\_AUTO\_CONV}, 35
  \item {\ptt UNWIND\_AUTO\_RIGHT\_RULE}, 36
  \item {\ptt UNWIND\_CONV}, 37
  \item {\ptt UNWIND\_ONCE\_CONV}, 38

\end{theindex}
