doc-src/TutorialI/Inductive/ROOT.ML
changeset 10671 ac6b3b671198
parent 10368 f7e8abd8ea15
child 10762 cd1a2bee5549