doc-src/TutorialI/Inductive/inductive.tex
changeset 48891 c0eafbd55de3
parent 48522 708278fc2dff