src/Doc/Tutorial/Inductive/Star.thy
changeset 74341 b93d8c2ebab0
parent 69609 ff784d5a5bfb
equal deleted inserted replaced
74340:97ad1687cec7 74341:b93d8c2ebab0