\begin{theindex}

  \item {\ptt ABS\_TAC\_PROOF}, 19
  \item {\ptt abs\_type\_info}, 19

  \indexspace

  \item {\ptt close\_theory}, 20

  \indexspace

  \item {\ptt EXPAND\_THOBS\_TAC}, 21

  \indexspace

  \item {\ptt g}, 21

  \indexspace

  \item {\ptt instantiate\_abstract\_definition}, 22
  \item {\ptt instantiate\_abstract\_theorem}, 22

  \indexspace

  \item {\ptt new\_abs\_parent}, 23
  \item {\ptt new\_abstract\_representation}, 23
  \item {\ptt new\_theory}, 24
  \item {\ptt new\_theory\_obligations}, 25

  \indexspace

  \item {\ptt prove\_abs\_thm}, 26

  \indexspace

  \item {\ptt set\_abs\_goal}, 27
  \item {\ptt STRIP\_THOBS\_TAC}, 27
  \item {\ptt STRIP\_THOBS\_THEN}, 28

\end{theindex}
