doc-src/TutorialI/Inductive/inductive.tex
changeset 17641 5ec55c1fa116
parent 11428 332347b9b942
child 23843 4cd60e5d2999
equal deleted inserted replaced
17640:dca023dd6d3c 17641:5ec55c1fa116