doc-src/IsarOverview/Isar/Induction.thy
changeset 40033 84200d970bf0
parent 30649 57753e0ec1d4