doc-src/TutorialI/Inductive/document/Star.tex
changeset 38801 319a28dd3564
parent 27190 431f695fc865
child 40406 313a24b66a8d