doc-src/TutorialI/Inductive/Mutual.thy
changeset 19978 df19a7876183
parent 19389 0d57259fea82
child 23733 3f8ad7418e55