doc-src/TutorialI/Inductive/Mutual.thy
changeset 33178 70522979c7be
parent 25330 15bf0f47a87d
child 35103 d74fe18f01e9
equal deleted inserted replaced
33176:d6936fd7cda8 33178:70522979c7be