doc-src/TutorialI/Inductive/document/Mutual.tex
changeset 17782 b3846df9d643
parent 17187 45bee2f6e61f
child 19389 0d57259fea82