doc-src/TutorialI/Inductive/Advanced.thy
changeset 26152 cf2cccf17d6d
parent 23842 9d87177f1f89
child 27167 a99747ccba87
equal deleted inserted replaced
26151:4a9b8f15ce7f 26152:cf2cccf17d6d