doc-src/TutorialI/Inductive/inductive.tex
changeset 29408 6d10cf26b5dc
parent 25330 15bf0f47a87d
child 48522 708278fc2dff