Cost of dormitories, housing facilities, food service facilities and motor vehicle parking facilities to be paid from proceeds of revenue bonds.