doc-src/TutorialI/Inductive/inductive.tex
changeset 23512 770e7f9f715b
parent 11428 332347b9b942
child 23843 4cd60e5d2999