doc-src/IsarOverview/Isar/Induction.thy
changeset 44319 806e0390de53
parent 30649 57753e0ec1d4