Payment of Bonds from Sources Other Than Pledged Revenue

The government may use and expend all or any part of any funds other than pledged revenue or proceeds of any property owned by it other than the system, whether received by gift or appropriation (if not restricted as to the use of such funds or proceeds of property by the terms of gift or trust or provision of law) for the payment of bonds issued pursuant to the provisions of this Article and secured by pledged revenue, and of interest due thereon.