doc-src/ind-defs-slides.tex
1995-06-06 lcp 1995-06-06 converted to LaTeX-2e
1994-08-17 lcp 1994-08-17 overheads for inductive definitions, originally for CADE-12