src/Doc/Tutorial/Inductive/Star.thy
changeset 74735 7efbe63f5658
parent 69609 ff784d5a5bfb
equal deleted inserted replaced
74733:ba30067b7259 74735:7efbe63f5658