The proceeds from the lease or sale of any property specifically allocated to the payment of warrants shall be placed in a separate fund and shall not be diverted to any other purpose until the warrants are paid in full.