doc-src/TutorialI/Inductive/Star.thy
changeset 10582 49ebade930ea
parent 10520 bb9dfcc87951
child 10898 b086f4e1722f