doc-src/TutorialI/Inductive/Advanced.thy
changeset 29970 cbf46080ea3a
parent 27167 a99747ccba87
child 32891 d403b99287ff
equal deleted inserted replaced
29969:9dbb046136d0 29970:cbf46080ea3a