doc-src/TutorialI/IsarOverview/Isar/Induction.thy
changeset 13755 a9bb54a3cfb7
parent 13620 61a23a43b783
child 13765 e3c444e805c4