doc-src/TutorialI/Inductive/Advanced.thy
changeset 12902 a23dc0b7566f
parent 12156 d2758965362e
child 16417 9bc16273c2d4
equal deleted inserted replaced
12901:4570584fbda9 12902:a23dc0b7566f