The employees of any employer participating in the retirement system pursuant to §§8-35-212 and8-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.