doc-src/IsarOverview/Isar/Induction.thy
changeset 35899 e810f73c8ee2
parent 30649 57753e0ec1d4