The LaTeX file paper.tex in this directory is the short paper I wrote
about the inductive definitions package for the 1991 HOL Users Meeting.

Tom Melham