\begin{theindex}

  \item {\ptt Ancestors}, 23
  \item {\ptt ancestors\_excluding}, 23
  \item {\ptt Ancestry}, 24
  \item {\ptt Andalso}, 11, 25
  \item {\ptt Axiom}, 25

  \indexspace

  \item {\ptt BigAnd}, 25
  \item {\ptt BigOr}, 26

  \indexspace

  \item {\ptt conc}, 26
  \item {\ptt contains}, 27
  \item {\ptt continue\_search}, 27
  \item {\ptt CS}, 28

  \indexspace

  \item {\ptt Definition}, 29

  \indexspace

  \item {\ptt Endofsearch}, 29
  \item errors
    \subitem at run-time, 18
    \subitem illegal pattern construction, 19
  \item exclusion
    \subitem of parts of an ancestry, 13

  \indexspace

  \item {\ptt find\_theorems}, 29
  \item {\ptt FT}, 30
  \item {\ptt full\_search}, 31

  \indexspace

  \item {\ptt has\_body}, 31
  \item help
    \subitem updating search path, 1
  \item {\ptt hypF}, 32
  \item {\ptt hypP}, 33

  \indexspace

  \item {\ptt kind}, 9, 33

  \indexspace

  \item {\ptt List}, 34
  \item {\ptt List\_from}, 34
  \item {\ptt load\_library}, 1

  \indexspace

  \item {\ptt matches}, 35
  \item matching
    \subitem within a term, 8

  \indexspace

  \item {\ptt Not}, 11, 36

  \indexspace

  \item {\ptt Orelse}, 11, 36

  \indexspace

  \item {\ptt Paths}, 36
  \item patterns
    \subitem distinct variables, 18
    \subitem for names, 10
    \subitem for terms, 6, 8
    \subitem type information, 17

  \indexspace

  \item {\ptt run\_search}, 37

  \indexspace

  \item {\ptt search\_n\_theories}, 38
  \item {\ptt search\_n\_until\_find}, 38
  \item {\ptt search\_until\_find}, 39
  \item searching
    \subitem a theory ancestry, 12
    \subitem continuation, 6
    \subitem end of, 12
    \subitem for operators, 7
    \subitem order of, 14
    \subitem steps, 6
    \subitem the result of a previous search, 9
    \subitem user theories, 13
  \item {\ptt show\_step}, 39
  \item side-conditions
    \subitem abbreviation, 15, 16
    \subitem user functions, 15
  \item {\ptt Step}, 40

  \indexspace

  \item {\ptt test1term}, 15, 40
  \item {\ptt test1type}, 41
  \item {\ptt test2terms}, 16, 41
  \item {\ptt test2types}, 42
  \item {\ptt Theorem}, 43
  \item {\ptt Theory}, 43
  \item {\ptt thmname}, 43
  \item {\ptt thryname}, 44

  \indexspace

  \item {\ptt Where}, 44

\end{theindex}
