This is makeindex, version 2.15 [TeX Live 2011] (kpathsea + Thai support).
Scanning input file eprover.idx....done (71 entries accepted, 0 rejected).
Sorting entries....done (452 comparisons).
Generating output file eprover.ind....done (91 lines written, 0 warnings).
Output written in eprover.ind.
Transcript written in eprover.ilg.
