doc-src/IsarOverview/Isar/Induction.thy
changeset 45250 feef63bcd787
parent 30649 57753e0ec1d4