doc-src/TutorialI/Inductive/Mutual.thy
changeset 37881 096c8397c989
parent 35103 d74fe18f01e9
equal deleted inserted replaced
37880:3b9ca8d2c5fb 37881:096c8397c989