The macros can generate and use information for two indices. The raw material for one of them, a "theorem index,'' is generated automatically, and contains an entry for every theorem-like object and every figure. You must explicitly make entries in the other, a "normal'' index.