NameDateSize

..09-Nov-202014

layout.styH A D25-Jul-20195.6 KiB

macros.texH A D25-Jul-20191.4 KiB

paper.texH A D25-Jul-201937.8 KiB

READMEH A D25-Jul-2019155

README

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