doc-src/TutorialI/Inductive/Advanced.thy
changeset 27749 24f2b57a34ea
parent 27167 a99747ccba87
child 32891 d403b99287ff
equal deleted inserted replaced
27748:c421ee0d2350 27749:24f2b57a34ea