doc-src/TutorialI/Inductive/Mutual.thy
changeset 46765 07f9eda810b3
parent 35103 d74fe18f01e9