doc-src/TutorialI/Inductive/Star.thy
changeset 40722 441260986b63
parent 32891 d403b99287ff