doc-src/TutorialI/Inductive/document/Mutual.tex
changeset 38937 1b1a2f5ccd7d
parent 35103 d74fe18f01e9
child 40406 313a24b66a8d