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