A derivative of the file lablst.tex (in the LaTeX distribution); embeds itself in \end{document} and prints, below the end of the document itself, a list of labels used. (Such a package today would use \AtEndDocument from LaTeX 2e, but this package hacks itself in without ceremony.)