Delete InductiveFiniteSets.v