Whenever any of the federal, private or other moneys so received with respect to the stadium facility project are used to meet principal of such temporary or interim notes or whenever principal on any such temporary or interim notes is retired by application of revenue receipts of the state, the amount of such bonds authorized in anticipation of which such temporary or interim notes were issued, a