doc-src/TutorialI/Inductive/document/Star.tex
changeset 31558 e7a282113145
parent 27190 431f695fc865
child 40406 313a24b66a8d
equal deleted inserted replaced
31538:16068eb224c0 31558:e7a282113145