doc-src/TutorialI/Inductive/Star.thy
changeset 32117 0762b9ad83df
parent 27172 8236f13be95b
child 32891 d403b99287ff