doc-src/IsarOverview/Isar/Induction.thy
changeset 46305 8ea02e499d53
parent 30649 57753e0ec1d4
equal deleted inserted replaced
46304:ef5d8e94f66f 46305:8ea02e499d53