1The LaTeX file paper.tex in this directory is the short paper I wrote 2about the inductive definitions package for the 1991 HOL Users Meeting. 3 4Tom Melham 5 6