doc-src/TutorialI/Inductive/Star.thy
changeset 37819 000049335247
parent 32891 d403b99287ff