doc-src/IsarOverview/Isar/Induction.thy
changeset 44369 02e13192a053
parent 30649 57753e0ec1d4
equal deleted inserted replaced
44368:91e8062605d5 44369:02e13192a053