doc-src/TutorialI/Inductive/Star.thy
changeset 16742 d1641dba61e5
parent 12815 1f073030b97a
child 17914 99ead7a7eb42