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.
T.C.A. § 8-35-214