doc-src/TutorialI/Inductive/Advanced.thy
changeset 12671 bb6db6c0d4df
parent 12156 d2758965362e
child 16417 9bc16273c2d4