doc-src/TutorialI/Inductive/Mutual.thy
changeset 43435 ae6b0c3e58a8
parent 35103 d74fe18f01e9