The “anticipation notes debt service fund” is created in the state treasury. Upon collection of anticipated revenue that has been pledged for the payment of principal of and interest on the outstanding anticipation notes, the state treasurer shall deposit into the fund that portion of the pledged revenue necessary for payment of the principal of and interest on anticipation notes. Anticipated revenue in the fund is appropriated to the state treasurer for the payment of anticipation notes with interest at maturity. Money in the fund shall be held for the benefit of the registered owner or owners of the anticipation notes and for no other purpose.