doc-src/TutorialI/Inductive/advanced-examples.tex
changeset 12124 c4fcdb80c93e
parent 11421 364088045fa9
child 12333 ef43a3d6e962
equal deleted inserted replaced
12123:739eba13e2cd 12124:c4fcdb80c93e