doc-src/TutorialI/Inductive/document/Star.tex
changeset 14731 5670fc027a3b
parent 14379 ea10a8c3e9cf
child 15481 fc075ae929e4
equal deleted inserted replaced
14730:59ab60c6fcc6 14731:5670fc027a3b