doc-src/TutorialI/Inductive/Mutual.thy
changeset 38479 e628da370072
parent 35103 d74fe18f01e9