The employees of any employer participating in the retirement system pursuant to §§ 8-35-212 and 8-35-213 shall be credited as of July 1, 1972, with all service which shall have been creditable to them as of June 30, 1972, under the Tennessee state retirement system.