src/Doc/Tutorial/Inductive/Star.thy
changeset 74341 b93d8c2ebab0
parent 69609 ff784d5a5bfb