doc-src/TutorialI/Inductive/Mutual.thy
changeset 43448 90aec5043461
parent 35103 d74fe18f01e9