doc-src/Inductive/ind-defs-slides.tex
changeset 14893 55e83c32cdec
parent 3162 78fa85d44e68
child 42637 381fdcab0f36
equal deleted inserted replaced
14892:659707452f55 14893:55e83c32cdec