doc-src/TutorialI/Inductive/advanced-examples.tex
changeset 22484 25dfebd7b4c8
parent 12333 ef43a3d6e962