When the principal of and interest on revenue bonds of the authority issued to finance the cost of a particular project or projects at a participating institution for higher education, including any revenue refunding bonds issued to refund and refinance such revenue bonds, have been fully paid and retired or when adequate provision has been made fully to pay and retire the same, and all other conditions of the resolution or trust agreement authorizing and securing the same have been satisfied and the lien of such resolution or trust agreement has been released in accordance with the provisions thereof, the authority shall promptly do such things and execute such deeds and conveyances as are necessary and required to convey title to such project or projects to such participating institution for higher education, free and clear of all liens and encumbrances, all to the extent that title to such project or projects shall not, at the time, then be vested in such participating institution for higher education.
Fla. Stat. § 243.25