doc-src/TutorialI/Inductive/Mutual.thy
changeset 43282 5d294220ca43
parent 35103 d74fe18f01e9