Members of a local district pension system maintained under the laws of the state from appropriations or contributions made wholly or in part by any employer and existing on July 14, 1937, are hereby excluded from membership in the school employees retirement system. If a majority of all employees participating in any such local district pension system apply for membership in the school employees retirement system by a petition duly signed and verified, approved by their employer, and filed with the school employees retirement board, all employees included in the membership of such local district pension system shall become members of the school employees retirement system at such time within three months after the filing of such petition and the compliance with sections 3309.63 to 3309.65, inclusive, of the Revised Code, relative to the dissolution and discontinuance of such local district pension system as the board designates.
R.C. § 3309.24