doc-src/TutorialI/Inductive/advanced-examples.tex
changeset 20335 b5eca86ef9cc
parent 12333 ef43a3d6e962