Teachers Retirement Association; service credit for prior Illinois teachingservice purchase authorized.