doc-src/TutorialI/Inductive/inductive.tex
changeset 28157 0435d23deccc
parent 25330 15bf0f47a87d
child 48522 708278fc2dff
equal deleted inserted replaced
28156:5205f7979b4f 28157:0435d23deccc