If on the date fixed for redemption the district has provided funds available for the payment of the principal and interest of the bonds called, interest on them ceases.