After all the revenue bonds shall have been fully paid and discharged, or provision for their payment and discharge irrevocably made, any surplus moneys in the construction fund shall, subject to the limitations and restrictions in any indenture providing for the issuance of the revenue bonds, become and be the property of the regents, and be used by the regents for any lawful purpose.