doc-src/IsarOverview/Isar/Induction.thy
changeset 24464 58d24cbe5fa6
parent 23733 3f8ad7418e55
child 25403 359b179fc963