(a) Any and all bonds issued by the funding board shall be sold in such manner and at such times as may be approved by the funding board.

(b) If there are unappropriated funds in the general fund, highway fund or state debt service fund of the state sufficient to defray the cost of the betterments, improvements, buildings, and projects for which bonds shall have been authorized, or any part thereof, then the funding board may request an allocation from such unappropriated funds in lieu of issuing bonds in such amount. There is hereby appropriated upon any such request of the funding board from the general fund, highway fund or state debt service fund a sum sufficient to pay the cost, or any part thereof, of such betterments, improvements, buildings, and projects, as the funding board shall have been authorized to finance through the issuance of bonds. For the purposes of this section, the use of highway funds shall be limited to highway projects.

(c) Notwithstanding the foregoing, if there are notes of the state outstanding that were issued in anticipation of the issuance of bonds that mature without having been funded by the issuance of bonds, the funding board shall, without further authorization, apply funds appropriated to the state debt service fund for amortization of authorized and unissued bonds not required for the payment of principal of and interest on bonds which have been issued to the retirement of a like amount of principal or interest on such notes. There is hereby appropriated from such funds in the state debt service fund a sum sufficient to retire the principal of and interest on such notes, and, upon the retirement of such principal, the authorization for the issuance of such principal amount of the bonds for the purposes for which the notes were issued shall become void.