"deeds registry"
means a deeds registry as defined in the Deeds Registries Act, 1937 (Act No. 47 of 1937), and when used in relation to any mining title includes the Mining Titles Office;