doc-src/TutorialI/Inductive/Star.thy
changeset 48427 571cb1df0768
parent 32891 d403b99287ff