doc-src/Inductive/ind-defs-slides.tex
changeset 14833 30556b84af7c
parent 3162 78fa85d44e68
child 42637 381fdcab0f36