doc-src/Inductive/ind-defs-slides.tex
1997-05-12 wenzelm 1997-05-12 moved here from ..