src/Doc/Tutorial/Inductive/Star.thy
changeset 74735 7efbe63f5658
parent 69609 ff784d5a5bfb