doc-src/TutorialI/Inductive/Advanced.thy
changeset 47596 c031e65c8ddc
parent 43564 9864182c6bad
child 48895 4cd4ef1ef4a4
equal deleted inserted replaced
47595:836b4c4d7c86 47596:c031e65c8ddc